| 書目名稱 | Semantics of Specification Languages (SoSL) |
| 副標題 | Proceedings of the I |
| 編輯 | D. J. Andrews,J. F. Groote (dr.ir),C. A. Middelbur |
| 視頻video | http://file.papertrans.cn/865/864746/864746.mp4 |
| 叢書名稱 | Workshops in Computing |
| 圖書封面 |  |
| 描述 | SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society‘S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its aim was the exchange of problems and ideas in this field of formal methods, and the identification of common programs of work for further investigation. The program of SoSL consisted of 3 invited lectures presenting the developments of the semantics of 3 major specification languages. Furthermore, there were 16 presentations of submitted papers. This volume provides a direct account of the workshop. It contains 3 papers that match the invited lectures and the 16 selected papers. The editors want to thank all |
| 出版日期 | Conference proceedings 1994 |
| 關(guān)鍵詞 | design; development; language; logic; process algebra; proof theory; semantics |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4471-3229-5 |
| isbn_softcover | 978-3-540-19854-3 |
| isbn_ebook | 978-1-4471-3229-5Series ISSN 1431-1682 |
| issn_series | 1431-1682 |
| copyright | British Computer Society 1994 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 03:54
發(fā)表于 2025-3-21 17:35:25
