| 書目名稱 | Programming Languages and Systems - ESOP ‘94 | | 副標(biāo)題 | 5th European Symposi | | 編輯 | Donald Sannella | | 視頻video | http://file.papertrans.cn/761/760119/760119.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP ‘94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP ‘94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools. | | 出版日期 | Conference proceedings 1994 | | 關(guān)鍵詞 | algorithm; algorithms; design; logic; programming; programming language; semantics; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-57880-3 | | isbn_softcover | 978-3-540-57880-2 | | isbn_ebook | 978-3-540-48376-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1994 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-21 00:21
發(fā)表于 2025-3-21 19:26:35
