红宝石

红宝石的精华。Ruby是一种动态的、面向对象的语言,具有诸如yield操作符和动态类操作等高级特性。他们使得Ruby脚本成为一种非常流行的、非常复杂的语义。即使是Ruby的JIS/ISO标准似乎也有一些含糊不清的地方。作为一种可靠的Ruby脚本语言,它应该具有严格的语义。为了应对这一挑战,我们提出了一种形式化的操作语义,它可以作为用户和实现者的高级规范。语义背后的关键见解是Ruby的各种复杂特性可以清晰地表示为两个正交计算的组合:一个用于对象和类,另一个用于表示控制。所提出的语义直接指向一个参考实现。对我们的实现进行的初步评估确认,所呈现的语义符合普遍接受的Ruby行为。


zbMATH中的参考文献(参考 32篇文章 引用,1标准件)

显示第1到第20个结果,共32个。
按年份排序(引用)
  1. Richard Beare;Bradley Lowkamp;Ziv Yaniv:SimpleITK的R图像分割、注册和特征化(2018)不是zbMATH
  2. Yukinobu Hamuro;Masakazu Nakamoto;Stephane Cheung;Edward Ip:mbonsai:树方法序列分类应用程序包(2018)不是zbMATH
  3. Alves,Sandra;Fernández,Maribel:基于图的访问控制策略分析框架(2017)
  4. Matteo Ragni:Mr.CAS-一个用于快速原型和代码生成的极简(纯)Ruby CAS(2017)不是zbMATH
  5. Alves,Sandra;Fernández,Maribel:访问控制策略与紧急管理分析框架(2015)
  6. 陈天然;李宗林;李天一:基于多面体同伦延拓法的多项式方程组并行数值求解器(2014)
  7. 加里格,雅克(编辑):程序设计语言与系统。第12届亚洲研讨会,APLAS 2014,新加坡,新加坡,2014年11月17日至19日,会议记录(2014年)
  8. Rowe,Reuben N.S.;van Bakel,S.J.:轻量级Java的语义类型和近似(2014)
  9. Daniel Schoepe,Daniel;Hedin,Daniel;Sabelfeld,Andrei:SeLINQ:跨应用程序数据库边界跟踪信息(2014)
  10. 上野,Katsuhiro;Fukasawa,Yutaka;Morihata,Akimasa;Ohori,Atsushi:红宝石的精华(2014)
  11. Sergey Lisitsyn;Widmer,Christian;Garcia,Fernando J.Iglesias:Tapkee:一个有效的降维库(2013)
  12. Günther,Sebastian;Sunkle,Sagar:RbFeatures:Ruby面向功能的编程(2012)ioport公司
  13. Andreas Klöckner;Pinto,Nicolas;Lee,Yunsup;Catanzaro,Bryan;Ivanov,Paul;Fasih,Ahmed:PyCUDA和PyOpenCL:基于脚本的GPU运行时代码生成方法(2012)ioport公司
  14. Ustalov,D.A.;Goldstein,M.L.:基于分布式词典的俄语语言处理形态学分析框架(2012)ioport公司
  15. An,Jong hoon(大卫);Chaudhuri,Avik;Foster,Jeffrey S.;Hicks,Michael:Ruby静态类型的动态推理(2011)
  16. Bergel,Alexandre:协调方法重载和动态类型脚本语言(2011)
  17. Ducournau,Roland;Privat,Jean:多重继承的元建模语义(2011)
  18. Hemel,Zef;Groenewegen,Danny M.;Kats,Lennart C.L.;Visser,Eelco:WebDSL的web应用程序静态一致性检查(2011)
  19. 交叉点和交叉点(两种类型:静态和动态类型)
  20. Yamazaki,Tadashi;Ikeno,Hidetoshi;Okumura,Yoshihiro;Satoh,Shunji;Kamiyama,Yoshimi;Hirata,Yutaka;Inagaki,Keiichiro;Ishihara,Akito;Kannon,Takayuki;Usui,Shiro:模拟平台:基于云的在线模拟环境(2011)ioport公司