This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Algebraic Development Techniques, WADT'99, held in Toulouse, France in September 1999.
The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.
Author(s): Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)
Series: Lecture Notes in Computer Science 1827
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 490
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs
Front Matter....Pages -
A Type-Theoretic Memory Model for Verification of Sequential Java Programs....Pages 1-21
From States to Histories....Pages 22-36
Principles and Pragmatics of Subtyping in PVS....Pages 37-52
Extending Casl by Late Binding....Pages 53-72
Towards an Evolutionary Formal Software-Development Using CASL....Pages 73-88
Development of Parsing Tools for CASL Using Generic Language Technology....Pages 89-105
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach....Pages 106-125
Subsorted Partial Higher-Order Logic as an Extension of CASL....Pages 126-145
Specifying Real Numbers in CASL ....Pages 146-161
Specification Refinement with System F – The Higher-Order Case....Pages 162-181
Guarded Algebras: Disguising Partiality so You Won’t Know Whether Its There....Pages 182-200
A General Completeness Result in Refinement....Pages 201-218
An Institution of Hybrid Systems....Pages 219-236
Realization of Probabilistic Automata: Categorical Approach....Pages 237-251
Specifications in an Arbitrary Institution with Symbols....Pages 252-270
A General Algebraic Framework for Studying Modular Systems....Pages 271-290
History Preserving Bisimulation for Contextual Nets....Pages 291-310
A Model for Interaction of Agents and Environments....Pages 311-328
Algebra-Coalgebra Structures and Bialgebras....Pages 329-347
A Uniform Model Theory for the Specification of Data and Process Types....Pages 348-365
Relating Abstract Datatypes and Z-Schemata....Pages 366-382
Algebraic Specification of Operator-Based Multimedia Scenarios....Pages 383-400
Higher-Order Logic and Theorem Proving for Structured Specifications....Pages 401-418
Extraction of Structured Programs from Specification Proofs....Pages 419-437
Towards a Verification Logic for Rewriting Logic....Pages 438-458
The Rôle of Normalisation in Testing from Structured Algebraic Specifications....Pages 459-476
Back Matter....Pages -
