红宝石

红宝石的本质。Ruby是一种动态的、面向对象的语言,具有诸如收益率操作符和动态类操作等高级特性。它们使Ruby成为一种流行的、高生产率的脚本语言,但同时也使得Ruby的语义复杂且难以理解。甚至Ruby的JIS/ISO标准似乎也含糊不清。要建立露比作为一个可靠的脚本语言,它应该有严格的语义。为了满足这一挑战,我们提出了一个正式的操作语义,可以作为一个高层次的规范,为用户和实施者。语义基础上的关键见解是,Ruby的各种复杂特征可以被清晰地表示为两个正交的结石组成:一个用于对象和类,另一个用于表示控制。所呈现的语义直接引向引用实现。我们的实施的初步评估证实,所提出的语义符合普遍接受的Ruby行为。


ZBMaX中的参考文献(32篇)1标准条款

显示结果1至20的32。
按年份排序(引文
  1. Richard Beare;Bradley Lowekamp;Ziv Yaniv:用SimuleTK(2018)在R中的图像分割、配准和特征化不是ZB数学
  2. Masakazu Nakamoto,Stephane Cheung;Edward Ip:MBOSSAI:应用树方法进行序列分类的应用程序包(2018)不是ZB数学
  3. 阿尔维斯,桑德拉;费尔南德斯,Maribel:基于图的访问控制策略分析框架(2017)
  4. Matteo Ragni:中国科学院院长-用于快速原型和代码生成的简约(纯)红宝石CAS(2017)不是ZB数学
  5. 阿尔维斯,桑德拉;费尔南德斯,Maribel:应急管理访问控制策略分析框架(2015)
  6. 陈,Tianran;李,Tsung Lin;李,Tien Yien:HOM4PS-3:基于多面体同伦延拓方法的多项式方程组的并行数值求解器(2014)
  7. Grigue,贾可(ED.):编程语言和系统。第十二届亚洲学术研讨会,APLAS 2014,新加坡,新加坡,11月17日- 19, 2014,会议录(2014)
  8. Rowe,Reuben N. S.;van Bakel,S. J.:轻量级Java的语义类型和近似(2014)
  9. 肖佩,丹尼尔;Hein,丹尼尔;Sabelfeld,安德列:SELINQ:跨应用程序数据库边界跟踪信息(2014)
  10. Ueno,Katsuhiro;福泽川,Yutaka;莫里哈塔,阿基马萨;奥霍里,Atsushi:红宝石的本质(2014)
  11. 谢尔盖,威德默,克里斯蒂安;加西亚,Fernando J. Iglesias:Tapkee:一个有效的降维库(2013)
  12. Gunnter,塞巴斯蒂安;Sunle,Saar:RBStices:面向特征的Ruby编程(2012)伊波尔特
  13. KL O.CKNER,安德烈亚斯;平托,尼古拉斯;李,Yunsup;Catanzaro,布莱恩;伊万诺夫,保罗;Fasih,Posi:Oy和PyopCunl:基于脚本的GPU运行时代码生成方法(2012)伊波尔特
  14. Ustalov、D. A.、德斯坦、M. L.:基于分布式词典的俄语处理词法分析框架(2012)伊波尔特
  15. AN,Jong hoon(戴维);Chaudhuri,Avik;Foster,Jeffrey S.;希克斯,米迦勒:Ruby静态类型的动态推论(2011)
  16. 伯格尔,亚历山大:协调方法重载和动态类型脚本语言(2011)
  17. Ducournau,罗兰;PrimaT,Je:多元继承的元语义(2011)
  18. Hemel,ZEF;GraceWEGEN,Danny M.;KATS,Lennart C. L.;VISSER,EELCO:Web应用与WebDSL的静态一致性检查(2011)
  19. OrTin,弗朗西斯科;Garc Ia,米格尔:支持动态和静态类型的联合和交叉类型(2011)
  20. Yamazaki,Tadashi;Ikeno,Hidetoshi;Yoshihiro,Satoh,Shunji;神山,吉田,平田,Yutaka;稻崎,Keiichiro;Ishihara,Akito;康农,Takayuki;碓水,Shiro:模拟平台:一个基于云的在线模拟环境(2011)伊波尔特