| 書目名稱 | Program Development in Computational Logic |
| 副標題 | A Decade of Research |
| 編輯 | Maurice Bruynooghe,Kung-Kiu Lau |
| 視頻video | http://file.papertrans.cn/760/759833/759833.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | 1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume. The motivating force behind LOPSTR has been the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Speci?cation, synthesis, transformation or specialization, analysis, debugging and veri?cation can all be given logical foundations, thus providing a unifying framework for the whole development process. In the past 10 years or so, such a theoretical framework has indeed begun to emerge. Even tools have been implemented for analysis, veri?cation and speci- ization. However,itisfairtosaythatsofarthefocushaslargelybeenonprogrammi- in-the-small. So the future challenge is to apply or extend these techniques to programming-in-the-large, in order to tackle software engineering in the real world. Returning to this volume, our aim i |
| 出版日期 | Book 2004 |
| 關鍵詞 | computational logic; declarative programming; formal methods; logic; logic based program development; log |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b98187 |
| isbn_softcover | 978-3-540-22152-4 |
| isbn_ebook | 978-3-540-25951-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2004 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-27 22:51
發(fā)表于 2025-3-21 16:11:42
