E-Book, Englisch, Band 6120, 427 Seiten, eBook
Bolduc / Desharnais / Ktari Mathematics of Program Construction
Erscheinungsjahr 2010
ISBN: 978-3-642-13321-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
E-Book, Englisch, Band 6120, 427 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-642-13321-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Weitere Infos & Material
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.
