skip to content
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, 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, September 15-18, 1999 : selected papers

Author: Didier Bert; C Choppy; Peter Mosses
Publisher: Berlin ; New York : Springer, ©2000.
Series: Lecture notes in computer science, 1827.
Edition/Format:   Print 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 online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Didier Bert; C Choppy; Peter Mosses
ISBN: 3540678980 9783540678984
OCLC Number: 44750756
Description: x, 476 pages ; 24 cm.
Contents: A Type-Theoretic Memory Model for Verification of Sequential Java Programs / Joachim van den Berg, Marieke Huisman and Bart Jacobs / [et al.] --
From States to Histories / Manfred Broy --
Principles and Pragmatics of Subtyping in PVS / Natarajan Shankar and Sam Owre --
Extending CASL by Late Binding / Davide Ancona, Maura Cerioli and Elena Zucca --
Towards an Evolutionary Formal Software-Development Using CASL / Serge Autexier, Dieter Hutter and Heiko Mantel / [et al.] --
Development of Parsing Tools for CASL Using Generic Language Technology / Mark G. J. van den Brand and Jeroen Scheerder --
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach / Christine Choppy and Gianna Reggio --
Subsorted Partial Higher-Order Logic as an Extension of CASL / Till Mossakowski, Anne Haxthausen and Bernd Krieg-Bruckner --
Specifying Real Numbers in CASL / Markus Roggenbach, Lutz Schroder and Till Mossakowski --
Specification Refinement with System F --
The Higher-Order Case / Jo Erskine Hannay --
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There / Magne Haveraaen and Eric G. Wagner --
A General Completeness Result in Refinement / Yoshiki Kinoshita and John Power --
An Institution of Hybrid Systems / Hugo Lourenco and Amucar Sernadas --
Realization of Probabilistic Automata: Categorical Approach / Paulo Mateus, Amilcar Sernadas and Cristina Sernadas --
Specifications in an Arbitrary Institution with Symbols / Till Mossakowski --
A General Algebraic Framework for Studying Modular Systems / Fernando Orejas and Elvira Pino --
History Preserving Bisimulation for Contextual Nets / Paolo Baldan, Andrea Corradini and Ugo Montanari --
A Model for Interaction of Agents and Environments / Alexander Letichevsky and David Gilbert --
Algebra-Coalgebra Structures and Bialgebras / Ataru T. Nakagawa --
A Uniform Model Theory for the Specification of Data and Process Types / Horst Reichel --
Relating Abstract Datatypes and Z-Schemata / Hubert Baumeister --
Algebraic Specification of Operator-Based Multimedia Scenarios / Didier Bert and Stephane Lo Presti --
Higher-Order Logic and Theorem Proving for Structured Specifications / Tomasz Borzyszkowski --
Extraction of Structured Programs from Specification Proofs / John N. Crossley, Iman Poernomo and Martin Wirsing --
Towards a Verification Logic for Rewriting Logic / Jose Luis Fiadeiro, Tom Maibaum and Narciso Marti-Oliet / [et al.] --
The Role of Normalisation in Testing from Structured Algebraic Specifications / Patricia D. L. Machado.
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


Primary Entity

<http://www.worldcat.org/oclc/44750756> # Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "44750756" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104432974#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://dewey.info/class/005.1/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/ateliers_de_genie_logiciel_congres> ; # Ateliers de génie logiciel--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/engenharia_de_programacao_software> ; # Engenharia de programacao (software)
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/programacao_de_computadores> ; # Programacao de computadores
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/computer_software_development> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/types_abstraits_de_donnees_informatique_congres> ; # Types abstraits de données (informatique)--Congrès
    schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/specification_algebrique> ; # spécification algébrique
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/langage_specification> ; # langage spécification
    schema:about <http://id.worldcat.org/fast/794745> ; # Abstract data types (Computer science)
    schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/methode_formelle> ; # méthode formelle
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/reecriture> ; # réécriture
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/informatique_mathematiques_congres> ; # Informatique--Mathématiques--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/specification_formelle> ; # spécification formelle
    schema:about <http://experiment.worldcat.org/entity/work/data/1104432974#Topic/demonstration_theoreme> ; # démonstration théorème
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/728498> ; # Peter Mosses
    schema:contributor <http://viaf.org/viaf/41042339> ; # Christine Choppy
    schema:contributor <http://viaf.org/viaf/45177348> ; # Didier Bert
    schema:copyrightYear "2000" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1104432974#Meeting/wadt_99_1999_chateau_de_bonas_france> ; # WADT '99 (1999 : Château de Bonas, France)
    schema:datePublished "2000" ;
    schema:description "A Type-Theoretic Memory Model for Verification of Sequential Java Programs / Joachim van den Berg, Marieke Huisman and Bart Jacobs / [et al.] -- From States to Histories / Manfred Broy -- Principles and Pragmatics of Subtyping in PVS / Natarajan Shankar and Sam Owre -- Extending CASL by Late Binding / Davide Ancona, Maura Cerioli and Elena Zucca -- Towards an Evolutionary Formal Software-Development Using CASL / Serge Autexier, Dieter Hutter and Heiko Mantel / [et al.] -- Development of Parsing Tools for CASL Using Generic Language Technology / Mark G. J. van den Brand and Jeroen Scheerder -- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach / Christine Choppy and Gianna Reggio -- Subsorted Partial Higher-Order Logic as an Extension of CASL / Till Mossakowski, Anne Haxthausen and Bernd Krieg-Bruckner -- Specifying Real Numbers in CASL / Markus Roggenbach, Lutz Schroder and Till Mossakowski -- Specification Refinement with System F -- The Higher-Order Case / Jo Erskine Hannay -- Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There / Magne Haveraaen and Eric G. Wagner -- A General Completeness Result in Refinement / Yoshiki Kinoshita and John Power -- An Institution of Hybrid Systems / Hugo Lourenco and Amucar Sernadas -- Realization of Probabilistic Automata: Categorical Approach / Paulo Mateus, Amilcar Sernadas and Cristina Sernadas -- Specifications in an Arbitrary Institution with Symbols / Till Mossakowski -- A General Algebraic Framework for Studying Modular Systems / Fernando Orejas and Elvira Pino -- History Preserving Bisimulation for Contextual Nets / Paolo Baldan, Andrea Corradini and Ugo Montanari -- A Model for Interaction of Agents and Environments / Alexander Letichevsky and David Gilbert -- Algebra-Coalgebra Structures and Bialgebras / Ataru T. Nakagawa -- A Uniform Model Theory for the Specification of Data and Process Types / Horst Reichel -- Relating Abstract Datatypes and Z-Schemata / Hubert Baumeister -- Algebraic Specification of Operator-Based Multimedia Scenarios / Didier Bert and Stephane Lo Presti -- Higher-Order Logic and Theorem Proving for Structured Specifications / Tomasz Borzyszkowski -- Extraction of Structured Programs from Specification Proofs / John N. Crossley, Iman Poernomo and Martin Wirsing -- Towards a Verification Logic for Rewriting Logic / Jose Luis Fiadeiro, Tom Maibaum and Narciso Marti-Oliet / [et al.] -- The Role of Normalisation in Testing from Structured Algebraic Specifications / Patricia D. L. Machado."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104432974> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers"@en ;
    schema:productID "44750756" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/44750756#PublicationEvent/berlin_new_york_springer_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104432974#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1827> ;
    schema:url <http://dx.doi.org/10.1007/b75154> ;
    schema:workExample <http://worldcat.org/isbn/9783540678984> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA061831> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/44750756> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Meeting/wadt_99_1999_chateau_de_bonas_france> # WADT '99 (1999 : Château de Bonas, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104432974#Place/chateau_de_bonas_france> ; # Château de Bonas, France)
    schema:name "WADT '99 (1999 : Château de Bonas, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Place/chateau_de_bonas_france> # Château de Bonas, France)
    a schema:Place ;
    schema:name "Château de Bonas, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/ateliers_de_genie_logiciel_congres> # Ateliers de génie logiciel--Congrès
    a schema:Intangible ;
    schema:name "Ateliers de génie logiciel--Congrès"@en ;
    schema:name "Ateliers de génie logiciel--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/demonstration_theoreme> # démonstration théorème
    a schema:Intangible ;
    schema:name "démonstration théorème"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/engenharia_de_programacao_software> # Engenharia de programacao (software)
    a schema:Intangible ;
    schema:name "Engenharia de programacao (software)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/informatique_mathematiques_congres> # Informatique--Mathématiques--Congrès
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques--Congrès"@en ;
    schema:name "Informatique--Mathématiques--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/langage_specification> # langage spécification
    a schema:Intangible ;
    schema:name "langage spécification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/methode_formelle> # méthode formelle
    a schema:Intangible ;
    schema:name "méthode formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/programacao_de_computadores> # Programacao de computadores
    a schema:Intangible ;
    schema:name "Programacao de computadores"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/specification_algebrique> # spécification algébrique
    a schema:Intangible ;
    schema:name "spécification algébrique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/specification_formelle> # spécification formelle
    a schema:Intangible ;
    schema:name "spécification formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104432974#Topic/types_abstraits_de_donnees_informatique_congres> # Types abstraits de données (informatique)--Congrès
    a schema:Intangible ;
    schema:name "Types abstraits de données (informatique)--Congrès"@en ;
    schema:name "Types abstraits de données (Informatique)--Congrès"@fr ;
    .

<http://id.worldcat.org/fast/794745> # Abstract data types (Computer science)
    a schema:Intangible ;
    schema:name "Abstract data types (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/41042339> # Christine Choppy
    a schema:Person ;
    schema:familyName "Choppy" ;
    schema:givenName "Christine" ;
    schema:givenName "C." ;
    schema:name "Christine Choppy" ;
    .

<http://viaf.org/viaf/45177348> # Didier Bert
    a schema:Person ;
    schema:familyName "Bert" ;
    schema:givenName "Didier" ;
    schema:name "Didier Bert" ;
    .

<http://viaf.org/viaf/728498> # Peter Mosses
    a schema:Person ;
    schema:familyName "Mosses" ;
    schema:givenName "Peter" ;
    schema:name "Peter Mosses" ;
    .

<http://worldcat.org/isbn/9783540678984>
    a schema:ProductModel ;
    schema:isbn "3540678980" ;
    schema:isbn "9783540678984" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/44750756> ; # Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/44750756>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/44750756> ; # Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
    schema:dateModified "2015-09-20" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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