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]

Silq
The Silq Logo
ParadigmImperative,
Functional,
Circuit design language
Designed byBenjamin Bichsel,
Maximilian Baader,
Timon Gehr,
Martin Vechev[1]
DeveloperSRI-ETH Zurich
First appeared2020 (2020)
Typing disciplineStrong Static Type System
Implementation languageD (programming language)
OSmacOS, Linux,
Microsoft Windows,
FreeBSD[2]
LicenseBSL 1.0[3]
Websitesilq.ethz.ch

See also

Reference

  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. S2CID 219397029.
  2. "Silq". GitHub.
  3. "BSL 1.O Licensed".
  4. "Silq (ETH Zürich)".
  5. "Silq: a high-level quantum language with safe uncomputation and intuitive semantics".
  6. "Silq is a new high-level programming language for quantum computers".
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.