| 書目名稱 | First International Workshop on Larch | | 副標(biāo)題 | Proceedings of the F | | 編輯 | Ursula Martin,Jeannette M. Wing | | 視頻video | http://file.papertrans.cn/344/343824/343824.mp4 | | 叢書名稱 | Workshops in Computing | | 圖書封面 |  | | 描述 | The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). Major applications have included VLSI circuit synthesis, medical device communications, compiler development and concurrent systems based on Lamport‘s TLA, as well as several applications to classical theorem proving and algebraic specification. Larch supports a two-tiered approach to specifying software and hardware modules. One tier of a specification is wrillen in the Larch Shared Language (LSL). An LSL specification describes mathematical abstractions such as sets, relations, and algebras; its semantics is defined in terms of first-order theories. The second tier is writte | | 出版日期 | Conference proceedings 1993 | | 關(guān)鍵詞 | Ada; C++ programming language; ML; Mathematica; Modula-3; design; development; formal specification; languag | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3558-6 | | isbn_softcover | 978-3-540-19804-8 | | isbn_ebook | 978-1-4471-3558-6Series ISSN 1431-1682 | | issn_series | 1431-1682 | | copyright | Springer-Verlag London 1993 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 10:21
發(fā)表于 2025-3-21 17:39:22
