skip to content
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers Preview this item
ClosePreview this item
Checking...

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers

Author: Didier Bert; C Choppy; Peter Mosses
Publisher: New York : Springer, ©2000.
Series: Lecture notes in computer science, 1827.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Didier Bert; C Choppy; Peter Mosses
ISBN: 3540678980 9783540678984
OCLC Number: 475403141
Description: x, 476 p. ; 24 cm.
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 Role of Normalisation in Testing from Structured Algebraic Specifications.
Series Title: Lecture notes in computer science, 1827.
Responsibility: Didier Bert, Christine Choppy, Peter Mosses (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/475403141>
library:oclcnum"475403141"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"2000"
schema:creator
schema:datePublished"2000"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1104432974>
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, France, September 15-18, 1999 : selected papers"@en
schema:numberOfPages"476"
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.