| 書目名稱 | Programming Languages: Implementations, Logics, and Programs | | 副標(biāo)題 | 9th International Sy | | 編輯 | Hugh Glaser,Pieter Hartel,Herbert Kuchen | | 視頻video | http://file.papertrans.cn/761/760124/760124.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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影響因子(影響力)學(xué)科排名
書目名稱Programming Languages: Implementations, Logics, and Programs網(wǎng)絡(luò)公開度
書目名稱Programming Languages: Implementations, Logics, and Programs網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Programming Languages: Implementations, Logics, and Programs被引頻次
書目名稱Programming Languages: Implementations, Logics, and Programs被引頻次學(xué)科排名
書目名稱Programming Languages: Implementations, Logics, and Programs年度引用
書目名稱Programming Languages: Implementations, Logics, and Programs年度引用學(xué)科排名
書目名稱Programming Languages: Implementations, Logics, and Programs讀者反饋
書目名稱Programming Languages: Implementations, Logics, and Programs讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 02:21
發(fā)表于 2025-3-21 17:41:48
