A foundation for quantum programming and its highly-parallel virtual execution door