| 书目名称 | Recent Trends in Data Type Specification |
| 副标题 | 7th Workshop on Spec |
| 编辑 | H. Ehrig,K. P. Jantke,H. Reichel |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applicationsand theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop onSpecification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets. |
| 出版日期 | Conference proceedings 1991 |
| 关键词 | Algebraic High-Level Nets; Algebraische Netze; Compiler; Data Types; Datentypen; Inductive Completition; I |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-54496-8 |
| isbn_softcover | 978-3-540-54496-8 |
| isbn_ebook | 978-3-540-38416-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1991 |
发表于 2025-3-21 19:28:39
