Verkauf durch Sack Fachmedien

Bolduc / Desharnais / Ktari

Mathematics of Program Construction

10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Medium: Buch
ISBN: 978-3-642-13320-6
Verlag: Springer
Erscheinungstermin: 01.06.2010
Lieferfrist: bis zu 10 Tage

we highly recommend to every Program Chair.


Produkteigenschaften


  • Artikelnummer: 9783642133206
  • Medium: Buch
  • ISBN: 978-3-642-13320-6
  • Verlag: Springer
  • Erscheinungstermin: 01.06.2010
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2010
  • Serie: Theoretical Computer Science and General Issues
  • Produktform: Kartoniert
  • Gewicht: 662 g
  • Seiten: 427
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.