Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010. proceedings / / Claude Bolduc, Jules Desharnais, Bechir Ktari (Eds.)

• Pubblicazione: New York, : Springer, 2010
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (X, 427 p. 57 illus.)
• Disciplina: 005.10151
• Soggetto topico: Computer programming
• Altri autori: BolducClaude DesharnaisJules KtariBechir
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Invited Talks -- The Algorithmics of Solitaire-Like Games -- Compositionality of Secure Information Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program Construction and Verification -- The Logic of Large Enough -- Dependently Typed Grammars -- Abstraction of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System Derivation Using Enforced Properties -- Designing an Algorithmic Proof of the Two-Squares Theorem -- Partial, Total and General Correctness -- Unifying Theories of Programming That Distinguish Nontermination and Abort -- Adjoint Folds and Unfolds -- An Abstract Machine for the Old Value Retrieval -- A Tracking Semantics for CSP -- Matrices as Arrows! -- Lucy-n: a n-Synchronous Extension of Lustre -- Sampling, Splitting and Merging in Coinductive Stream Calculus -- Generic Point-free Lenses -- Formal Derivation of Concurrent Garbage Collectors -- Temporal Logic Verification of Lock-Freedom -- Gradual Refinement.
• Titolo autorizzato: Mathematics of program construction
• ISBN: 1-280-38680-0; 9786613564726; 3-642-13321-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910482959003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science.; LNCS sublibrary. : SL 1, . -Theoretical computer science and general issues.