| 书目名称 | Programming Languages: Implementations, Logics, and Programs | | 副标题 | 9th International Sy | | 编辑 | Hugh Glaser,Pieter Hartel,Herbert Kuchen | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP ‘97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education..The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc. | | 出版日期 | Conference proceedings 1997 | | 关键词 | Constraint; Erlang; Haskell; ML; Rack; declarative programming; functional programming; logic; logic program | | 版次 | 1 | | doi | https://doi.org/10.1007/BFb0033832 | | isbn_softcover | 978-3-540-63398-3 | | isbn_ebook | 978-3-540-69537-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1997 |
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 17:41:48
