尺子

标尺:编程类型规则。一些类型的系统首先被正式描述,有时随后是实现。其他类型的系统首先被实现为语言扩展,有时需要用正式的描述进行更新。在这两种情况下,保持两件艺术品的一致性都是一件容易的事情。本文介绍Ruler,一种描述类型规则的领域专用语言。类型规则可以增量描述,从而提供了在简单类型系统之上构建复杂类型系统的方法。除了检查Ruler程序的格式是否良好外,我们还使用它们来生成(1)一个可视的LATEX渲染,适合用于表示形式方面,以及(2)一个基于属性语法的实现。这两个方面的理论和实践相结合可以弥补两者在理论和实践上的差距。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考 2篇文章,第1条标准)

显示结果1到2,共2个。
按年份排序(引用)

  1. Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016)
  2. Dijkstra,Atze;Swierstra,S.Doaisse:Ruler:编程类型规则(2006)