Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / Edition 1

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers / Edition 1

by Didier Bert
     
 

ISBN-10: 3540678980

ISBN-13: 9783540678984

Pub. Date: 10/13/2000

Publisher: Springer Berlin Heidelberg

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

Overview

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.

Product Details

ISBN-13:
9783540678984
Publisher:
Springer Berlin Heidelberg
Publication date:
10/13/2000
Series:
Lecture Notes in Computer Science Series, #1827
Edition description:
2000
Pages:
490
Product dimensions:
6.10(w) x 9.25(h) x 0.04(d)

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >