谷歌浏览器插件
订阅小程序
在清言上使用
VIPCreated with Sketch.

Forge: A Tool and Language for Teaching Formal Methods

Tim Nelson,Ben Greenman,Siddhartha Prasad,Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney Levine, Julianne Rudner, Ben Ryjikov, Alexander Varga,Andrew Wagner, Luke West,Shriram Krishnamurthi

Proceedings of the ACM on Programming Languages（2024）

引用 3|浏览15
关键词
lightweight formal-methods,formal-methods education,language levels
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要