| 書目名稱 | Declarative Programming, Sasbachwalden 1991 | | 副標題 | PHOENIX Seminar and | | 編輯 | John Darlington,Roland Dietrich (Dr. rer. nat.) | | 視頻video | http://file.papertrans.cn/265/264385/264385.mp4 | | 叢書名稱 | Workshops in Computing | | 圖書封面 |  | | 描述 | Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the .Esprit. Basic Research Action .Phoenix. in collaboration with the .Esprit. Basic Research Action .Integration.. Both these groups have been closely involved in investigating the foundations of declarative programming and the integration of various language paradigms, as well as the developing aspects of related technology. The main aim of the seminar and workshop was to provide a forum for the results of this work, together with contributions from other researchers in the same field. These papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming. | | 出版日期 | Conference proceedings 1992 | | 關(guān)鍵詞 | Logic Programming; Mathematica; artificial intelligence; declarative programming; development; functional | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3794-8 | | isbn_softcover | 978-3-540-19735-5 | | isbn_ebook | 978-1-4471-3794-8Series ISSN 1431-1682 | | issn_series | 1431-1682 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
書目名稱Declarative Programming, Sasbachwalden 1991影響因子(影響力)
書目名稱Declarative Programming, Sasbachwalden 1991影響因子(影響力)學(xué)科排名
書目名稱Declarative Programming, Sasbachwalden 1991網(wǎng)絡(luò)公開度
書目名稱Declarative Programming, Sasbachwalden 1991網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Declarative Programming, Sasbachwalden 1991被引頻次
書目名稱Declarative Programming, Sasbachwalden 1991被引頻次學(xué)科排名
書目名稱Declarative Programming, Sasbachwalden 1991年度引用
書目名稱Declarative Programming, Sasbachwalden 1991年度引用學(xué)科排名
書目名稱Declarative Programming, Sasbachwalden 1991讀者反饋
書目名稱Declarative Programming, Sasbachwalden 1991讀者反饋學(xué)科排名
|
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-30 05:21
發(fā)表于 2025-3-21 17:20:56
