Java Jr语言 swMATH ID: 19083 软件作者: 阿兰·杰弗里(Alan Jeffrey);朱利安·拉特克 描述: Java Jr.:核心Java语言的完全抽象跟踪语义。我们引入了一种表现力强但语义清晰的核心类Java语言Java Jr.,并基于表示跨包边界交互的可观察动作的轨迹为其提供了正式的操作语义。通过一个基于观察者模式的详细示例,说明了语义模型的直观性。我们还表明,相对于测试对象系统等价性的自然概念,我们的语义跟踪等价性是完全抽象的。这是带继承的基于类的完整OO语言的第一个这样的结果。 主页: http://link.springer.com/chapter/10.1007/978-3-540-31987-0_29 相关软件: Z轴;艾菲尔;Multilisp公司;Coq公司;莫德;VST-弗洛伊德;CompCertTSO公司;CompCert公司;CertiCoq认证;维尔文;皮尔斯纳;TALx86;菲德斯;桑库斯;OCaml公司;模拟67;MMT公司;爪哇风扇;伊莎贝尔/HOL;Smalltalk公司 引用于: 13文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Java Jr.:核心Java语言的完全抽象跟踪语义。 Zbl 1108.68349号阿兰·杰弗里;朱利安·拉特克 2005 全部的 前5名29位作者引用 三 Din、Crystal Chang 三 Owe、Olaf 2 艾丽卡·阿尔布拉汉姆 2 安德烈亚斯·格吕纳 2 马可·帕特里格纳尼 2 马丁·斯特芬 1 卡明·阿巴特 1 罗伯托·布兰科 1 瑟·特凡·乔巴赫 1 克拉克、戴夫 1 罗伯特·J·科尔文。 1 埃德斯科·德弗里斯 1 约翰·多夫兰 1 阿德里安·杜里埃 1 阿德里安·弗兰卡兰扎 1 迪帕克·加格 1 Dan R.吉卡。 1 伊莫·格雷布 1 轩尼诗,Matthew C.B。 1 Hriţcu,科特林 1 Alan S.A.杰弗里。 1 埃纳尔·布罗赫·约翰森 1 阿恩·施·赫夫特 1 朱利安·拉特克 1 乌尔里希·舍普 1 埃里克·坦特 1 杰雷米·蒂鲍特 1 Tzevelekos,尼科斯 1 韦尔施,扬尼克 全部的 前5名6篇连载文章中引用 2 计算的形式方面 2 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 1 计算系统理论 1 计算机语言、系统和结构 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 13 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文