On the nature of quantum programs.
A personal encyclopedia of quantum languages, semantics and verification. Connecting ideas and precise definitions, one program at a time.
FIG. 01 A state. A language. A world of possibilities.
Foundations
The mathematical language of quantum states, operations and circuits.
2 articles Explore →Languages & types
How programs are expressed, and how types govern quantum resources.
2 articles Explore →Program semantics
A mathematical account of syntax, execution and observable behavior.
2 articles Explore →Logic & verification
Assertions, inference rules and mechanized proofs of correctness.
2 articles Explore →Begin with preconditions and postconditions. Discover how quantum Hoare logic connects the behavior of a program to assertions about quantum states.