×

落叶松

swMATH ID: 2126
软件作者: John V.Guttag。;詹姆斯·霍宁。
描述: Larch语言家族支持双层定义风格的规范。每个规范都有用两种语言编写的组件:一种是为特定编程语言设计的语言,另一种是独立于任何编程语言的语言。前者是落叶松接口语言,后者是落叶树共享语言(LSL)。接口语言用于指定程序组件之间的接口。每个规范都提供了使用接口所需的信息。每个接口的关键部分是组件如何跨接口通信。通信机制因编程语言而异。例如,一些语言具有发出异常条件信号的机制,而其他语言则没有。不同语言使用的各种参数传递和存储分配机制产生了更细微的差异。
当接口规范语言反映编程语言时,更容易准确地进行通信。每种接口语言都处理用特定编程语言编写的客户端程序可以观察到的内容。Larch接口语言是为各种编程语言设计的,包括Ada、C、C++、CLU、CORBA、ML、Modula-3和Smalltalk。还有一些“通用”Larch接口语言,可以专门用于特定的编程语言,也可以用于指定不同语言的程序之间的接口。
接口规范依赖于用LSL编写的辅助规范中的定义,为它们使用的基本术语提供语义。说明符不仅限于一组固定的符号,还可以使用LSL定义适合特定接口规范或规范类的专用词汇表。
主页: 网址:http://www.cs.utah.edu/~sjt/研讨会/落叶松/
关键词: 代数数据类型规范;规范语言;落叶松接口语言;程序设计语言;语义学;参考文献
相关软件: JML公司;艾菲尔;PVS公司;CASL公司;OBJ咖啡馆;莫德;联合;规格#;电子稳定控制系统/Java;OBJ3型;卡拉卡拉;NQTHM公司;霍尔;Z轴;火花;凯伊;赫茨;伊莎贝尔/HOL;胡迪尼;RRL公司
引用于: 105文件
全部的 前5名

149位作者引用

8 Gary T.Leavens。
6 安德烈·塔莱基
5 米歇尔·比多特
5 罗尔夫·亨尼克
5 彼得·米勒
5 诗人希·赫夫特
5 唐纳德·桑内拉。
4 高基町五指
4 蒂尔·莫萨科夫斯基
4 托比亚斯·尼普科
Yoonsik Cheon先生
约翰·V·古塔格。
Leino,K.Rustan M。
乌苏拉·马丁
Kazuhiro绪方
2 克里斯蒂安·阿提奥贝
2 弗朗西斯科·杜兰
2 斯蒂芬·J·加兰德。
2 安妮·伊丽莎白·哈克斯豪森
2 弗洛里安·卡姆米勒
2 斯蒂芬·林顿(Stephen A.Linton)。
2 马里奥·奥尔纳吉
2 格温·萨拉恩
2 卢茨·施罗德
2 珍妮特·玛丽,荣
1 马丁·阿巴迪
1 瓦苏·S·阿拉加。
1 胡安·阿尔卡德
1 米拉·阿彻(Myla M.Archer)。
1 阿里纳斯,奥雷里奥
1 阿伦扎恩,M。
1 吉列尔莫·巴迪亚
1 艾伯特·L·贝克。
1 雷米·巴斯蒂德
1 马丁·伯杰(Martin J.Berger)。
1 尼古拉·S·比约纳。
1 帕特里斯·沙林
1 柯蒂斯·克利夫顿
1 大卫·R·科克。
1 詹姆斯·哈罗德·达文波特
1 德波尔(Frank S。
1 戴维·戴哈贝
1 斯特凡·德尔拉切里
1 德沃德,S。
1 索菲亚·克洛伊·德罗索波卢
1 马丁·邓斯坦
1 艾登,阿姆农·H·。
1 苏珊·艾森巴赫
1 迈克尔·D·恩斯特。
1 毛罗·法拉利
1 佛罗伦萨,卡米洛
1 弗雷塔斯,利奥
1 丹尼尔·加恩
1 E·加斯帕里斯。
1 沃尔夫冈·盖尔克
1 Jan Friso,格鲁特
1 约翰·哈特克利夫
1 马格尼·哈夫雷恩
1 维姆·赫塞林克。
1 威尔弗里德·霍奇斯
1 彼得·霍夫曼
1 本田、高黑
1 詹姆斯·霍宁。
1 惠泽,科内利斯
1 雅科雅尔维
1 金、智
1 埃纳尔·布罗赫·约翰森
1 克利夫·琼斯。
1 Jonkers,Hans B.M。
1 斯特凡·迈克尔·卡尔斯
1 迪帕克·卡普尔
1 瑞克·卡兹曼
1 汤姆·凯尔西
1 穆罕默德·泰穆尔·汗
1 基利、泽利哈·迪尔森
1 巴托克·克林
1 伊曼纽尔·库纳利斯
1 托马斯·科瓦尔斯基
1 斯坦·克罗格达尔
1 鲁德·柯伊伯
1 Gregory W.Kulczycki。
1 迈克尔·赖
1 Jean-Luc Lambert
1 刘公九
1 皮埃尔·莱斯坎
1 林洪平
1 格雷德森·利马
1 刘少英
1 弗朗西斯科·洛戈佐
1 陆汝倩
1 埃里克·J·路易特。
1 南希·安·林奇
1 奥拉夫·莱恩
1 朱利安·麦凯
1 佐哈尔·曼纳
1 阿纳玛丽亚·马丁斯·莫雷拉
1 何塞·梅塞盖尔·瓜伊塔
1 Jörg Meyer
1 罗纳尔德·米德尔科普
1 穆罕默德·穆萨维
…还有49位作者

按年份列出的引文