红宝石

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

此软件的关键字

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

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公司