| 書(shū)目名稱(chēng) | Declarative Programming, Sasbachwalden 1991 | | 副標(biāo)題 | PHOENIX Seminar and | | 編輯 | John Darlington,Roland Dietrich (Dr. rer. nat.) | | 視頻video | http://file.papertrans.cn/265/264385/264385.mp4 | | 叢書(shū)名稱(chēng) | Workshops in Computing | | 圖書(shū)封面 |  | | 描述 | 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
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991影響因子(影響力)
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991被引頻次
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991被引頻次學(xué)科排名
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991年度引用
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991年度引用學(xué)科排名
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991讀者反饋
書(shū)目名稱(chēng)Declarative Programming, Sasbachwalden 1991讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-30 09:21
發(fā)表于 2025-3-21 17:20:56
