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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540676287 - 2000. gada 7. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 22. sept.
Saņemiet paziņojumus par jauniem Annalisa Bossi izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2000. gada 7. jūnijs
ISBN13 9783540676287
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 319
Izmēri 155 × 233 × 17 mm   ·   771 g
Valoda Vācu  
Redaktors Bossi, Annalisa

Vairāk no tā paša izdevēja

Skatīt visus Annalisa Bossi