03748nam 22007575 450 99646563750331620230220214744.01-280-38680-097866135647263-642-13321-510.1007/978-3-642-13321-3(CKB)2670000000028901(SSID)ssj0000446618(PQKBManifestationID)11298842(PQKBTitleCode)TC0000446618(PQKBWorkID)10497754(PQKB)10752553(DE-He213)978-3-642-13321-3(MiAaPQ)EBC3065463(PPN)149063555(EXLCZ)99267000000002890120100625d2010 u| 0engurnn|008mamaatxtccrMathematics of Program Construction[electronic resource] 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /edited by Claude Bolduc, Jules Desharnais, Bechir Ktari1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 427 p. 57 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6120Bibliographic Level Mode of Issuance: Monograph3-642-13320-7 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;6120Software engineeringImmunologyComputer programmingComputer scienceMachine theorySoftware EngineeringImmunologyProgramming TechniquesComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySoftware engineering.Immunology.Computer programming.Computer science.Machine theory.Software Engineering.Immunology.Programming Techniques.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.005.10151Bolduc Claudeedthttp://id.loc.gov/vocabulary/relators/edtDesharnais Julesedthttp://id.loc.gov/vocabulary/relators/edtKtari Bechiredthttp://id.loc.gov/vocabulary/relators/edtMPC 2010BOOK996465637503316Mathematics of Program Construction2915783UNISA