Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2000, 2000
|
| Edition: | 1st ed. 2000 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Invited Topics
- A Type-Theoretic Memory Model for Verification of Sequential Java Programs
- From States to Histories
- Principles and Pragmatics of Subtyping in PVS
- Casl: Language, Methodology and Tools
- Extending Casl by Late Binding
- Towards an Evolutionary Formal Software-Development Using CASL
- Development of Parsing Tools for CASL Using Generic Language Technology
- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
- Subsorted Partial Higher-Order Logic as an Extension of CASL
- Specifying Real Numbers in CASL
- Foundations
- Specification Refinement with System F – The Higher-Order Case
- Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There
- A General Completeness Result in Refinement
- An Institution of Hybrid Systems
- Realization of Probabilistic Automata: Categorical Approach
- Specifications in an Arbitrary Institution with Symbols
- A General Algebraic Framework for Studying Modular Systems
- Specification of Processes and Interactions
- History Preserving Bisimulation for Contextual Nets
- A Model for Interaction of Agents and Environments
- Algebra-Coalgebra Structures and Bialgebras
- A Uniform Model Theory for the Specification of Data and Process Types
- Other Topics
- Relating Abstract Datatypes and Z-Schemata
- Algebraic Specification of Operator-Based Multimedia Scenarios
- Higher-Order Logic and Theorem Proving for Structured Specifications
- Extraction of Structured Programs from Specification Proofs
- Towards a Verification Logic for Rewriting Logic
- The Rôle of Normalisation in Testing from Structured Algebraic Specifications