找回密碼
 To register

QQ登錄

只需一步,快速開(kāi)始

掃一掃,訪(fǎng)問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Logic Program Synthesis and Transformation; Proceedings of LOPST Kung-Kiu Lau,Timothy Paul Clement Conference proceedings 1993 Springer-Ver

[復(fù)制鏈接]
查看: 33035|回復(fù): 61
樓主
發(fā)表于 2025-3-21 18:24:41 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱(chēng)Logic Program Synthesis and Transformation
副標(biāo)題Proceedings of LOPST
編輯Kung-Kiu Lau,Timothy Paul Clement
視頻videohttp://file.papertrans.cn/588/587879/587879.mp4
叢書(shū)名稱(chēng)Workshops in Computing
圖書(shū)封面Titlebook: Logic Program Synthesis and Transformation; Proceedings of LOPST Kung-Kiu Lau,Timothy Paul Clement Conference proceedings 1993 Springer-Ver
描述Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, or reliability. The most promising solution seems to be the increased automation of software production: programmer productivity would improve, and correctness could be ensured by the application of mathematical methods. Because of their mathematical foundations, logic programs lend themselves particularly well to machine-assisted development techniques, and therefore to automation. This volume contains the proceedings of the second International Workshop on Logic Program Synthesis and Transformation (LOPSTR 92), held at the University of Manchester, 2-3 July 1992. The LOPSTR workshops are the only international meetings devoted to these two important areas. A variety of new techniques were described at the workshop, all of which promise to revolutionize the software industry once they become standard practise. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its requir
出版日期Conference proceedings 1993
關(guān)鍵詞Prolog; behavior; complexity; development; evolution; formal specification; logic; logic programming; optimi
版次1
doihttps://doi.org/10.1007/978-1-4471-3560-9
isbn_softcover978-3-540-19806-2
isbn_ebook978-1-4471-3560-9Series ISSN 1431-1682
issn_series 1431-1682
copyrightSpringer-Verlag London 1993
The information of publication is updating

書(shū)目名稱(chēng)Logic Program Synthesis and Transformation影響因子(影響力)




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation被引頻次




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation被引頻次學(xué)科排名




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation年度引用




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation年度引用學(xué)科排名




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation讀者反饋




書(shū)目名稱(chēng)Logic Program Synthesis and Transformation讀者反饋學(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

您所在的用戶(hù)組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:59:13 | 只看該作者
板凳
發(fā)表于 2025-3-22 01:03:40 | 只看該作者
Proof Nets, . of proofs as programs, adequate representations of proofs are required. In this paper we propose to represent proofs by a kind of Predicate Transition Petri Nets. Net representation gives rise to an immediate reading of the computational aspects of proofs and allows to treat various logics in an uniform way.
地板
發(fā)表于 2025-3-22 06:56:50 | 只看該作者
5#
發(fā)表于 2025-3-22 09:18:48 | 只看該作者
Applications of Unfolding in Prolog Programming,velopment process. The adoption of appropriate programming conventions can help by promoting clearer and more easily maintained programs. However, such conventions often result in inefficient programs. In this paper we demonstrate how partial evaluation can be used to overcome this drawback in the case of three specific programming conventions.
6#
發(fā)表于 2025-3-22 16:21:48 | 只看該作者
7#
發(fā)表于 2025-3-22 17:27:02 | 只看該作者
8#
發(fā)表于 2025-3-23 01:17:13 | 只看該作者
9#
發(fā)表于 2025-3-23 02:16:46 | 只看該作者
nd Jugendlichen.Anregungen zur Anpassung an individuelle SetDas Buch befasst sich mit psychopathologischen Auff?lligkeiten und emotionalen Besonderheiten im Kindes- und Jugendalter. Die Grenze zwischen Normalit?t und Pathologie ist flie?end und abh?ngig vom Entwicklungsalter, der Pers?nlichkeitsentw
10#
發(fā)表于 2025-3-23 06:44:40 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-8 02:55
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
类乌齐县| 湘乡市| 环江| 贞丰县| 西和县| 蓬溪县| 抚松县| 诸城市| 手机| 祁东县| 吴旗县| 五台县| 屏东市| 大田县| 林周县| 霍城县| 大名县| 西乌珠穆沁旗| 荥阳市| 绥德县| 台山市| 综艺| 疏附县| 永济市| 临安市| 萍乡市| 连平县| 新民市| 于田县| 黔西县| 嘉禾县| 德兴市| 中阳县| 中西区| 诸暨市| 泰顺县| 安化县| 漳浦县| 永嘉县| 宁晋县| 运城市|