Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.