Annalisa Bossi
Logic-based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers - Lecture Notes in Computer Science Annalisa Bossi

Name: Logic-based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers - Lecture Notes in Computer Science
Price: 8451 JPY
Availability: OutOfStock
Author: Annalisa Bossi

価格

¥ 8.451

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月17日 - 年11月27日

クリスマスプレゼントは1月31日まで返品可能です

Annalisa Bossi の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Logic-based Program Synthesis and Transformation: 9th International Workshop, Lopstr'99, Venice, Italy, September 22-24, 1999 Selected Papers - Lecture Notes in Computer Science

Annalisa Bossi

This text constitutes the refereed post-proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'99. It is divided into topical sections on software development, analysis and specialization, transformation, and verification.

Marc Notes: Includes bibliographical references and index. Table of Contents: Invited Talk.- Algebraic Specification and Program Development by Stepwise Refinement.- Tutorials.- Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.- Constraint Logic Programming Applied to Model Checking.- Software Development.- On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.- Analysis and Specialisation.- Infinite State Model Checking by Abstract Interpretation and Program Specialisation.- Mode Analysis Domains for Typed Logic Programs.- Imperative Program Specialisation: An Approach Using CLP.- Specialising Finite Domain Programs Using Polyhedra.- Transformation.- Roles of Program Extension.- Transformation of Left Terminating Programs.- Transformation Rules for Logic Programs with Goals as Arguments.- Making Mercury Programs Tail Recursive.- The Replacement Operation for CCP Programs.- Verification.- Annotations for Prolog A Concept and Runtime Handling.- Verification by Testing for Recursive Program Schemes.- Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.- Context-Moving Transformations for Function Verification."Publisher Marketing: This text constitutes the refereed post-proceedings of the 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'99, held in Venice, Italy, in September 1999. The book is divided into topical sections on software development, analysis and specialization, transformation, and verification.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2000年6月7日
ISBN13	9783540676287
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	319
寸法	155 × 233 × 17 mm · 771 g
言語	ドイツ語
編集者	Bossi, Annalisa