| 书目名称 | Programming Languages: Implementations, Logics and Programs | | 副标题 | 7th International Sy | | 编辑 | Manuel Hermenegildo,S. Doaitse Swierstra | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP ‘95, held in Utrecht, The Netherlands, in September 1995..The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations. | | 出版日期 | Conference proceedings 1995 | | 关键词 | Abstrakte Interpretation; Constraint; Debugging; Declarative Programming; Deklaratives Programmieren; Fun | | 版次 | 1 | | doi | https://doi.org/10.1007/BFb0026808 | | isbn_softcover | 978-3-540-60359-7 | | isbn_ebook | 978-3-540-45048-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1995 |
The information of publication is updating
书目名称Programming Languages: Implementations, Logics and Programs影响因子(影响力)
书目名称Programming Languages: Implementations, Logics and Programs影响因子(影响力)学科排名
书目名称Programming Languages: Implementations, Logics and Programs网络公开度
书目名称Programming Languages: Implementations, Logics and Programs网络公开度学科排名
书目名称Programming Languages: Implementations, Logics and Programs被引频次
书目名称Programming Languages: Implementations, Logics and Programs被引频次学科排名
书目名称Programming Languages: Implementations, Logics and Programs年度引用
书目名称Programming Languages: Implementations, Logics and Programs年度引用学科排名
书目名称Programming Languages: Implementations, Logics and Programs读者反馈
书目名称Programming Languages: Implementations, Logics and Programs读者反馈学科排名
|
|
|
发表于 2025-3-21 16:23:05
