Engineering:Silq
From HandWiki
 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 |
| 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 |
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]
See also
Reference
- ↑ 1.0 1.1 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. https://dl.acm.org/doi/10.1145/3385412.3386007.
- ↑ "Silq". https://github.com/eth-sri/silq/blob/master/README.md.
- ↑ "BSL 1.O Licensed". https://www.wikidata.org/wiki/Q2353141.
- ↑ "Silq (ETH Zürich)". https://silq.ethz.ch/.
- ↑ "Silq: a high-level quantum language with safe uncomputation and intuitive semantics". https://www.researchgate.net/publication/342180403.
- ↑ "Silq is a new high-level programming language for quantum computers". https://sg.news.yahoo.com/silq-high-level-programming-language-150924548.html.
External Links
https://github.com/eth-sri/silq
 |
