Reqomp：量子电路的空间受限非计算

[1] 阿努克·帕拉迪斯、本杰明·比克塞尔、塞缪尔·史蒂芬和马丁·维切夫。 “Unqomp：在量子电路中综合非计算”。第 42 届 ACM SIGPLAN 国际编程语言设计与实现会议论文集。第 222-236 页。计算机协会，美国纽约州纽约市（2021 年）。
https：/ / doi.org/10.1145/ 3453483.3454040

[2] 丁永山、吴新川、Adam Holmes、Ash Wiseth、Diana Franklin、Margaret Martonosi 和 Frederic T. Chong。 “Square：通过具有成本效益的非计算，对模块化量子程序进行战略量子辅助重用”。 2020 年 ACM/​IEEE 第 47 届计算机架构国际研讨会 (ISCA)。第 570-583 页。 IEEE（2020）。
https:///​doi.org/​10.1109/​ISCA45697.2020.00054

[3] 本杰明·比克塞尔、马克西米利安·巴德尔、蒂蒙·格尔和马丁·韦切夫。 “Silq：一种具有安全免计算和直观语义的高级量子语言”。第 41 届 ACM SIGPLAN 编程语言设计与实现会议论文集。第 286-300 页。 PLDI 2020美国纽约州纽约（2020）。计算机器协会。
https：/ / doi.org/10.1145/ 3385412.3386007

[4] 罗伯特·兰德、詹妮弗·佩金、李东浩和史蒂夫·兹丹斯维奇。 “ReQWIRE：可逆量子电路的推理”。理论计算机科学电子论文集 287, 299–312 (2019)。
https：/ / doi.org/ 10.4204 / EPTCS.287.17

[5] 伊曼纽尔·克尼尔. “贝内特卵石游戏分析”。技术报告 arXiv：math/​9508218。 arXiv (1995)。
https://doi.org/10.48550/arXiv.math/9508218
arXiv：math / 9508218

[6] 陈少文、马西莫·劳里亚、雅各布·诺德斯特罗姆和马克·维尼亚尔斯。 “pspace 中近似的硬度和卵石游戏的分离结果”。 2015 年 IEEE 第 56 届计算机科学基础年度研讨会。第 466-485 页。 （2015）。
https：/ / doi.org/ 10.1109 / focs.2015.36

[7] 亚历山大·S·格林、彼得·勒法努·拉姆斯丹、尼尔·J·罗斯、彼得·塞林格和伯努瓦·瓦利隆。 “Quipper：一种可扩展的量子编程语言”。第 34 届 ACM SIGPLAN 编程语言设计与实现会议论文集。第 333–342 页。 PLDI '13美国纽约州纽约（2013）。计算机器协会。
https：/ / doi.org/10.1145/ 2491956.2462177

[8] 亚历克斯·帕伦特 (Alex Parent)、马丁·罗特勒 (Martin Roetteler) 和克里斯塔·M·斯沃尔 (Krysta M. Svore)。 “具有空间限制的可逆电路编译”。技术报告 arXiv：1510.00377。 arXiv (2015)。
https://doi.org/10.48550/arXiv.1510.00377
的arXiv：1510.00377

[9] 亚历克斯·帕伦特 (Alex Parent)、马丁·罗特勒 (Martin Roetteler) 和克里斯塔·M·斯沃尔 (Krysta M. Svore)。 “REVS：空间优化可逆电路合成工具”。 Iain Phillips 和 Hafizur Ra​​haman，编辑，《可逆计算》。第 90-101 页。 Computer ScienceCham 讲义（2017）。施普林格国际出版社。
https:/​/​doi.org/​10.1007/​978-3-319-59936-6_7

[10] Debjyoti Bhattacharjee、Mathias Soeken、Srijit Dutta、Anupam Chattopadhyay 和 Giovanni De Micheli。 “用于减少分层量子电路合成中的量子比特的可逆卵石游戏”。 2019年IEEE第49届国际多值逻辑研讨会（ISMVL）。第 102–107 页。 （2019）。
https:// / doi.org/ 10.1109/ ISMVL.2019.00026

[11] 朱利亚·梅利、马蒂亚斯·索肯、马丁·罗特勒、尼古拉·比约纳和乔瓦尼·德·米凯利。 “用于量子内存管理的可逆鹅卵石游戏”。 2019 年欧洲设计、自动化和测试会议暨展览（日期）。第 288-291 页。 IEEE（2019）。
https:///doi.org/10.23919/date.2019.8715092

[12] 查尔斯·H·贝内特。 “可逆计算的时间/空间权衡”。 SIAM 计算杂志 18, 766–776 (1989)。
https：/ / doi.org/10.1137/ 0218053

[13] 克里斯塔·斯沃尔、艾伦·盖勒、马蒂亚斯·特罗耶、约翰·阿扎利亚、克里斯托弗·格拉纳德、贝蒂娜·海姆、瓦迪姆·克柳奇尼科夫、玛丽亚·米哈伊洛娃、安德烈斯·帕斯和马丁·罗特勒。 “Q#：通过高级 dsl 实现可扩展的量子计算和开发”。 2018 年现实世界领域特定语言研讨会论文集。RWDSL2018美国纽约州纽约 (2018)。计算机器协会。
https：/ / doi.org/10.1145/ 3183895.3183901

[14] 马修·艾米、马丁·罗特勒和克里斯塔·M·斯沃尔。 “节省空间的可逆电路的验证编译”。 Rupak Majumdar 和 Viktor Kunčak，《计算机辅助验证》编辑。第 10427 卷，第 3-21 页。施普林格国际出版社，Cham (2017)。
https:/​/​doi.org/​10.1007/​978-3-319-63390-9_1