Semantics of Specification Languages (SoSL)
Springer Berlin (Verlag)
978-3-540-19854-3 (ISBN)
The Development of Z.- An Overview of the Development of COLD.- The Formal Basis for the RAISE Specification Language.- The Static Part of the Design Language COLD-K.- Generation of Proof Obligations for Type Consistency (Extended Abstract).- Experiences in Developing a Proof Theory for VDM Specifications.- Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.- Loose Real-Time Communicating Agents.- A Timed Specification Language for Concurrent Reactive Systems.- Multiparadigm Specification Languages: A First Attempt at Foundations.- The Semantics of Extended ML: A Gentle Introduction.- Type-Checking Revisited: Modular Error-Handling.- Proof Theory for µCRL: A Language for Processes with Data.- Case Study: Stepwise Development of a Communication Processor Using Trace Logic.- Rendez-vous with Bundle Event Structures.- Syntactic Action Refinement in Presence of Multiway Synchronization.- From Implicit via Inductive to Explicit Definitions.- Verifying Process Algebra Proofs in Type Theory.- Reasoning About Dynamic Features in Specification Languages-A Modal View on Creation and Modification.- Author Index.
Erscheint lt. Verlag | 30.3.1994 |
---|---|
Reihe/Serie | Workshops in Computing |
Zusatzinfo | VIII, 357 p. 1 illus. |
Verlagsort | London |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 630 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Design • Development • language • Logic • Process Algebra • Proof theory • Semantics |
ISBN-10 | 3-540-19854-7 / 3540198547 |
ISBN-13 | 978-3-540-19854-3 / 9783540198543 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich