| 書目名稱 | Logic of Computation |
| 編輯 | Helmut Schwichtenberg |
| 視頻video | http://file.papertrans.cn/589/588029/588029.mp4 |
| 叢書名稱 | NATO ASI Subseries F: |
| 圖書封面 |  |
| 描述 | The Marktoberdorf Summer School 1995 ‘Logic of Computation‘ was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. ? The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type theoretic setup of the underlying language has developed into a standard. ? Extensions of logic programming, e.g. by allowing more general formulas and/or higher order languages. ? Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions. ? Rewrite systems and unification, again in a higher order context. Closely related is the now well-established Grabner basis theory, which recently has found interesting applications. ? Category theoretic and more generally algebraic method |
| 出版日期 | Conference proceedings 1997 |
| 關(guān)鍵詞 | Typentheorie; computer; logic; logic programming; program specification; program verification; programming |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-59048-1 |
| isbn_softcover | 978-3-642-63832-9 |
| isbn_ebook | 978-3-642-59048-1Series ISSN 0258-1248 |
| issn_series | 0258-1248 |
| copyright | Springer-Verlag Berlin Heidelberg 1997 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 01:48
發(fā)表于 2025-3-21 17:46:36
