| 書目名稱 | TAPSOFT ‘89: Proceedings of the International Joint Conference on Theory and Practice of Software De |
| 副標(biāo)題 | Volume 2: Advanced S |
| 編輯 | J. Díaz,F. Orejas |
| 視頻video | http://file.papertrans.cn/901/900057/900057.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | TAPSOFT ‘89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP ‘89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT ‘89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages. |
| 出版日期 | Conference proceedings 1989 |
| 關(guān)鍵詞 | ML; Prolog; Resolution; design; distributed systems; functional programming; logic; polymorphism; programmin |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-50940-2 |
| isbn_softcover | 978-3-540-50940-0 |
| isbn_ebook | 978-3-540-46118-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1989 |