多劳尔

PolyTOIL:一种类型安全的多态面向对象语言。PolyTOIL是一种新的静态类型多态面向对象编程语言,具有可证明的类型安全性。通过分离子类型和继承的定义,为self类型提供一个名称,并仔细定义类型检查规则,我们获得了一种在支持类的模块化类型检查的同时表现力很强的语言。类型上的匹配关系与F-有界量化有关,用于声明类型检查规则和表示多态性的类型参数边界。PolyTOIL的设计基于对类型检查规则和语义的仔细的形式化定义。借助于一个主题归约定理,给出了类型安全性的一个证明。


zbMATH参考文献(参考 23篇文章

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. Na,Hyunik;Ryu,Sukyong:一种新的子类型形式化,以匹配子类与子类型(2014)
  2. Siek,Jeremy G.;Lumsdaine,Andrew:通用编程语言(2011)
  3. Alagić,Suad;Royer,Mark:Java中的泛型:持久性和数据库系统含义(2008)ioport公司
  4. Steel,Jim;Jézéquel,Jean-Marc:关于模型打字(2007)ioport公司
  5. Johnsen,Einar Broch;Owe,Olaf;Yu,Ingrid Chieh:Creol:分布式并发系统的类型安全面向对象模型(2006)
  6. Winter,Michael:关于具有自类型和匹配的多态面向对象语言的问题(2006)
  7. Lämmel,Ralf:基于规则的程序的演变(2004)
  8. Bruce,Kim B.;Schuett,Angela;Van Gent,Robert;Fiech,Adrian:Polyoil:一种类型安全的多态面向对象语言。(2003年)ioport公司
  9. compagoni,Adriana;Goguen,Healfdene:高阶子类型的类型化操作语义。(2003年)
  10. Igarashi,Atsushi;Pierce,Benjamin C.:虚拟类型的基础(2002)
  11. Igarashi,Atsushi;Viroli,Mirko:参数类型的基于方差的子类型(2002)
  12. 像是2002年的语言类
  13. Rinat,Ran:带广义匹配的类型安全协变特化(2002)
  14. 波诺,维维亚娜;萨尔沃,伊万诺:面向对象语言的CuCh解释(2001)
  15. Alagić,Suad:时间类的语义(2000)
  16. 巴尔丹,保罗;盖利,乔治;拉斐特,亚历山德拉:有界量化的基本理论。(1999年)
  17. 波诺,维维亚娜;布格里西,米歇尔:对象的lambda演算的匹配(1999)
  18. Bruce,Kim B.;Cardelli,Luca;Pierce,Benjamin C.:比较对象编码。(1999年)
  19. 卡姆米勒,弗洛里安:模块化结构作为依附类型在伊莎贝尔(1999年)
  20. Motogna,Simona:(F)-有界量化与匹配关系(1999)