Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Butterfield, Andrew (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Σειρά:Lecture Notes in Computer Science, 5713
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Refinement Calculus as a Theory of Contracts (Invited Paper)
  • Transaction Calculus
  • UTP and Temporal Logic Model Checking
  • A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming
  • Reasoning about Loops in Total and General Correctness
  • Lazy UTP
  • Monadic Maps and Folds for Multirelations in an Allegory
  • Unifying Theories of Interrupts
  • UTP Semantics for Handel-C
  • Unifying Theories of Locations
  • Unifying Input Output Conformance
  • The Miracle of Reactive Programming
  • Encoding Circus Programs in ProofPowerZ
  • Component Publications and Compositions
  • Denotational Approach to an Event-Driven System-Level Language.