RC 2024:波兰托伦
托本·吉迪乌斯·莫根森 , 卢卡斯·米库斯基 :
可逆计算——第16届国际会议,RC 2024,波兰托伦,2024年7月4日至5日,会议记录。 计算机科学课堂讲稿 14680, 施普林格 2024 ,国际标准图书编号 978-3-031-62075-1
受邀论文
可逆计算模型
马蒂奥宫 , 卢卡·罗维斯 :
可逆计算的算法表达的Always-Terminating模型。 31-49 巴勃罗·阿里吉 , 吉尔斯·道克 , 艾米丽亚·杜贝克 :
没有过去的假设,玩具模型以时间之箭为特色。 50-68 乔瓦尼·法布雷蒂 , 伊万·拉内斯 , 珍妮·伯纳德·斯特凡尼 :
带孔可逆性-(进行中的工作)。 69-74
可逆程序设计实验
拉尔斯·博·赫斯特德·瓦德加德 , Maja Hanne Kirkeby女士 , 肯·弗里斯·拉森 , 迈克尔·柯克达尔·汤姆森 :
探索在不可逆硬件上执行的可逆程序的能量开销。 77-93 特蕾丝·林比 , 拉斯穆斯·罗斯·尼兰德斯特德 , 罗伯特·格吕克 , 横山哲雄 :
走向干净的可逆无损压缩——用Zip进行可逆编程实验。 94-102
可逆和量子编程语言
彼得罗·拉米 , 伊万·拉内斯 , 珍妮·伯纳德·斯特凡尼 :
Janus的小步语义。 105-123 约阿希姆·蒂尔斯特·克里斯滕森 , 罗宾·卡斯加德 , 迈克尔·柯克达尔·汤姆森 :
危险:一种可逆函数式编程语言。 124-141 斯科特·卫斯理 :
LinguaQuanta:朝向OpenQASM和Quipper之间的量子转发器。 142-160 卢卡斯·盖尔 , 乌韦·梅耶 :
通过混合SSA连接可逆计算和经典计算。 161-178
可逆和量子系统的合成、验证和分析
小口顺也 , 袁绍基(Shoji Yuen) :
CRIL的并发RSSA:并发可逆编程语言的流分析。 181-200 利亚姆·赫尔维茨 , 卡马利卡·达塔 , 阿布霍伊·科尔 , 罗尔夫·德雷克斯勒 :
模拟是有效验证动态量子电路的唯一选择吗? 201-217 费德里科·达尔·皮奥·罗戈 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
模型检查可逆系统:正向。 218-237 马修·艾米 , 安德鲁·格拉代尔(Andrew N.Glaudell) , 肖恩·克尔索 , 马克斯韦尔 , 塞缪尔·门德尔森 , 尼尔·J·罗斯 :
多量子比特Clifford-分圆电路的精确合成。 238-245
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)