Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bolduc, Claude (Επιμελητής έκδοσης), Desharnais, Jules (Επιμελητής έκδοσης), Ktari, Béchir (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6120
• Θέματα: Computer science.; Immunology.; Software engineering.; Computer programming.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.

Πίνακας περιεχομένων:

• 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.