找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Declarative Programming, Sasbachwalden 1991; PHOENIX Seminar and John Darlington,Roland Dietrich (Dr. rer. nat.) Conference proceedings 19

[復(fù)制鏈接]
查看: 25113|回復(fù): 53
樓主
發(fā)表于 2025-3-21 17:20:56 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Declarative Programming, Sasbachwalden 1991
副標題PHOENIX Seminar and
編輯John Darlington,Roland Dietrich (Dr. rer. nat.)
視頻videohttp://file.papertrans.cn/265/264385/264385.mp4
叢書名稱Workshops in Computing
圖書封面Titlebook: Declarative Programming, Sasbachwalden 1991; PHOENIX Seminar and  John Darlington,Roland Dietrich (Dr. rer. nat.) Conference proceedings 19
描述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
doihttps://doi.org/10.1007/978-1-4471-3794-8
isbn_softcover978-3-540-19735-5
isbn_ebook978-1-4471-3794-8Series ISSN 1431-1682
issn_series 1431-1682
copyrightSpringer-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é)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 23:46:48 | 只看該作者
板凳
發(fā)表于 2025-3-22 04:15:16 | 只看該作者
Sabine Achour,Martin Lücke,Detlef Pechguages based on assertional programming as a uniform presentation of declarative language semantics, and a constraint abstract machine as a general computational model for declarative programming. The PDS provides a methodology for systematically integrating functional and logic programming language
地板
發(fā)表于 2025-3-22 08:00:30 | 只看該作者
https://doi.org/10.1007/978-3-658-29556-1traint, functional and logic programming. CFLP extends constraint functional programming (CFP), which supports equation solving over a functional program, to general constraint programming permitting the use of constraints for programming as well as for posing queries. It also generalises constraint
5#
發(fā)表于 2025-3-22 10:44:58 | 只看該作者
6#
發(fā)表于 2025-3-22 12:56:14 | 只看該作者
7#
發(fā)表于 2025-3-22 19:41:54 | 只看該作者
8#
發(fā)表于 2025-3-23 00:09:32 | 只看該作者
9#
發(fā)表于 2025-3-23 04:30:19 | 只看該作者
10#
發(fā)表于 2025-3-23 05:54:36 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-30 05:21
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
德保县| 盐源县| 昭苏县| 井陉县| 桐梓县| 资兴市| 祁阳县| 嫩江县| 靖州| 三原县| 景泰县| 孟州市| 叶城县| 抚州市| 淳化县| 庄浪县| 布拖县| 剑川县| 托里县| 元氏县| 平定县| 新野县| 乐至县| 雷波县| 璧山县| 延长县| 遵义市| 察雅县| 弥渡县| 云浮市| 伊宁市| 凌海市| 辉县市| 信丰县| 衡山县| 甘肃省| 辰溪县| 太白县| 宁夏| 珲春市| 同江市|