| 書目名稱 | Partial Evaluation |
| 副標(biāo)題 | International Semina |
| 編輯 | Olivier Danvy,Robert Glück,Peter Thiemann |
| 視頻video | http://file.papertrans.cn/742/741540/741540.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation..This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area. |
| 出版日期 | Conference proceedings 1996 |
| 關(guān)鍵詞 | ML; Programmanalyse; Programmieren; Programmiersprachen; algebra; automatic programming; calculus; compiler |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-61580-6 |
| isbn_softcover | 978-3-540-61580-4 |
| isbn_ebook | 978-3-540-70589-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1996 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-28 06:03
發(fā)表于 2025-3-21 19:58:05
