Software-defined quantum computer
The disclosure describes various aspects of a software-defined quantum computer. For example, a method is described for generating an intermediate representation of source code for a software-defined quantum computer. The method includes performing a lexical analysis on a high-level intermediate representation of a quantum programming language; performing semantic analysis on an output of the lexical analysis; and generating a mid-level intermediate representation of the quantum programming language based on an output of the semantic analysis.
1. A non-transitory computer-readable medium storing code with instructions executable by a processor for generating an intermediate representation of source code for a software-defined quantum computer, comprising:
code for performing a lexical analysis on a high-level intermediate representation of a quantum programming language by checking or verifying a syntax of the source code;
code for performing semantic analysis on an output of the lexical analysis by:
checking whether an organization of the source code is compliant with an architecture of the software-defined quantum computer by checking if language primitives of the source code for the architecture are being used with formatted parameters and instructions that are appropriate for the software-defined quantum computer; and
validating inputs types and outputs types of statements of the source code; and
code for generating a mid-level intermediate representation of the quantum programming language based on an output of the semantic analysis that confirms the syntax of the source code is appropriate for the software-defined quantum computer.
2. The non-transitory computer-readable medium of claim 1 , wherein the code for performing the semantic analysis includes code for performing both an operational semantic analysis and performing a denotational semantic analysis on the output of the lexical analysis.
3. The non-transitory computer-readable medium of claim 1 , wherein the code for performing the lexical analysis comprises code for verifying the syntax on the high-level intermediate representation of a quantum programming language.
4. The non-transitory computer-readable medium of claim 1 , wherein the code for performing the semantic analysis further includes code for validating an equivalence of expected and actual types of inputs and outputs of each statement of the quantum programming language.
5. The non-transitory computer-readable medium of claim 4 , wherein the mid-level intermediate representation of the quantum programming language comprises the language primitives of the software-defined quantum computer.
6. A system for generating an intermediate representation of source code, the system comprising:
a software-defined quantum computer;
a medium storing code with executable instructions executable for generating an intermediate representation of source code for the software-defined quantum computer; and
a processor that, when executing the code stored on the medium, is configured to:
perform a lexical analysis on a high-level intermediate representation of a quantum programming language by checking or verifying a syntax of the source code;
perform semantic analysis on an output of the lexical analysis by:
checking whether an organization of the source code is compliant with an architecture of the software-defined quantum computer by checking if language primitives of the source code for the architecture are being used with formatted parameters and instructions that are appropriate for the software-defined quantum computer; and
validating inputs types and outputs types of statements of the source code; and
generate a mid-level intermediate representation of the quantum programming language based on an output of the semantic analysis that confirms the syntax of the source code is appropriate for the software-defined quantum computer.
7. The system of claim 6 , wherein the processor that, when executing the code stored on the medium, is further configured to perform the semantic analysis by performing both an operational semantic analysis and performing a denotational semantic analysis on the output of the lexical analysis.
8. The system of claim 6 , wherein the processor that, when executing the code stored on the medium, is further configured to perform the lexical analysis by verifying the syntax on the high-level intermediate representation of a quantum programming language.
9. The system of claim 6 , wherein the processor that, when executing the code stored on the medium, is further configured to perform the semantic analysis by validating an equivalence of expected and actual types of inputs and outputs of each statement of the quantum programming language.
10. The system of claim 9 , wherein the mid-level intermediate representation of the quantum programming language comprises the language primitives of the software-defined quantum computer.