Silq
Silq[1][4] is a new high-level programming language for quantum computing with a strong static type system and support for safe uncomputation, developed at ETH Zürich.[5][6]
![]() The Silq Logo | |
Paradigm | Imperative, Functional, Circuit design language |
---|---|
Designed by | Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin Vechev[1] |
Developer | SRI-ETH Zurich |
First appeared | 2020 (2020) |
Typing discipline | Strong Static Type System |
Implementation language | D (programming language) |
OS | macOS, Linux, Microsoft Windows, FreeBSD[2] |
License | BSL 1.0[3] |
Website | silq |
See also
Reference
- Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (2020). "Silq: a high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 9781450376136. S2CID 219397029.
- "Silq". GitHub.
- "BSL 1.O Licensed".
- "Silq (ETH Zürich)".
- "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".
- "Silq is a new high-level programming language for quantum computers".
General | ![]() | ||||||||
---|---|---|---|---|---|---|---|---|---|
Theorems | |||||||||
Quantum communication | |||||||||
Quantum algorithms | |||||||||
Quantum complexity theory | |||||||||
Quantum computing models | |||||||||
Quantum error correction | |||||||||
Physical implementations |
| ||||||||
Software |
| ||||||||
|
Note: This template roughly follows the 2012 ACM Computing Classification System. | ||
Hardware | ![]() | |
Computer systems organization | ||
Networks | ||
Software organization | ||
Software notations and tools | ||
Software development | ||
Theory of computation | ||
Algorithms | ||
Mathematics of computing | ||
Information systems |
| |
Security | ||
Human–computer interaction | ||
Concurrency | ||
Artificial intelligence | ||
Machine learning | ||
Graphics | ||
Applied computing |
| |
Background | |||||||
---|---|---|---|---|---|---|---|
Fundamentals |
| ||||||
Mathematics |
| ||||||
Interpretations | |||||||
Experiments | |||||||
Science |
| ||||||
Technologies | |||||||
Extensions |
| ||||||
Related | |||||||
|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.