A Visual Notation for Succinct Program Traces
A Visual Notation for Succinct Program Traces
复制标题
简洁程序跟踪的视觉符号
DOI：
10.1109/vl/hcc51201.2021.9576441
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Gay, Kai
中科院分区：
文献类型：
--
作者：
Bajaj, Divya;Erwig, Martin;Fedorin, Danila;Gay, Kai
登录
查看更多内容
影响因子：
5.7
作者：
Pohl CH
通讯作者：
Pohl CH
交互式推导查看器
DOI：
10.1016/j.entcs.2006.09.025
发表时间：
2007
期刊：
arXiv: Logic in Computer Science
影响因子：
--
作者：
Steven Trac;Yury Puzis;G. Sutcliffe
通讯作者：
G. Sutcliffe
为定理证明者构建用户界面的通用方法
DOI：
10.1006/jsco.1997.0171
发表时间：
1998
期刊：
J. Symb. Comput.
影响因子：
--
作者：
Yves Bertot;L. Théry
通讯作者：
L. Théry
解释其工作的命令式功能程序
DOI：
--
发表时间：
2017
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
W. Ricciotti;J. Stolarek;Roly Perera;J. Cheney
通讯作者：
J. Cheney
PROOFTOOL：GAPT 框架的 GUI
DOI：
10.4204/eptcs.118.1
发表时间：
2013
期刊：
arXiv: Logic in Computer Science
影响因子：
--
作者：
Cvetan Dunchev Institute of Computer Languages;Vienna University of Technology;Alexander Leitsch Institute of Computer Languages;Tomer Libal Institute of Computer Languages;Martin Riener Institute of Computer Languages;Mikheil Rukhaia Institute of Computer Languages;Daniel Weller Institute of Discrete Mathematics;Geometry;Bruno Woltzenlogel
通讯作者：
Bruno Woltzenlogel