1 option
Unifying Theories of Programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4010.
- Theoretical Computer Science and General Issues ; 4010
- Language:
- English
- Subjects (All):
- Software engineering.
- Computers.
- Programming languages (Electronic computers).
- Computer programming.
- Operating systems (Computers).
- Software Engineering/Programming and Operating Systems.
- Computation by Abstract Devices.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software Engineering.
- Operating Systems.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Computation by Abstract Devices.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software Engineering.
- Operating Systems.
- Physical Description:
- 1 online resource (VIII, 264 pages).
- Edition:
- First edition 2006.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
- System Details:
- text file PDF
- Contents:
- Retrospective and Prospective for Unifying Theories of Programming
- Object-Orientation in the UTP
- CSP Is a Retract of CCS
- A Design-Based Model of Reversible Computation
- An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)
- Constructing Property-Oriented Models for Verification
- A Relational Investigation of UTP Designs and Prescriptions
- Unifying Theories in ProofPower-Z
- Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
- Hierarchical Organisation of Predicate-Semantic Models
- Unifying Probability
- Pointers and Records in the Unifying Theories of Programming
- Mechanising a Unifying Theory
- Modal Design Algebra.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-34752-1
- 9783540347521
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.