skip to content
Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers Preview this item
ClosePreview this item
Checking...

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

Author: José Luiz Fiadeiro
Publisher: Berlin ; New York : Springer, ©1999.
Series: Lecture notes in computer science, 1589.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of  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: Kongress
Conference papers and proceedings
Lissabon (1998)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: José Luiz Fiadeiro
ISBN: 3540662464 9783540662464
OCLC Number: 41960962
Description: x, 340 pages ; 24 cm.
Contents: An Algebraic Framework for Separate Type-Checking / Davide Ancona --
Moving Specification Structures Between Logical Systems / Tomasz Borzyszkowski --
Normal Forms for Partitions and Relations / Roberto Bruni, Fabio Gadducci and Ugo Montanari --
Parameterisation of Logics / Carlos Caleiro, Cristina Sernadas and Amilcar Sernadas --
Semantic Constructions for Hidden Algebra / Corina Cirstea --
Functorial Semantics for Multi-algebras / Andrea Corradini and Fabio Gadducci --
An Algebra of Graph Derivations Using Finite (co --
) Limit Double Theories / Andrea Corradini, Martin Grosse-Rhode and Reiko Heckel --
Hierarchical Heterogeneous Specifications / Sophie Coudert, Gilles Bernot and Pascale Le Gall --
Parallel Admissible Graph Rewriting / Rachid Echahed and Jean-Christophe Janodet --
Refinements and Modules for Typed Graph Transformation Systems / Martin Grosse-Rhode, Francesco Parisi Presicce and Marta Simeoni --
Complete Strategies for Term Graph Narrowing / Annegret Habel and Detlef Plump --
Non-deterministic Computations in ELAN / Helene Kirchner and Pierre-Etienne Moreau --
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics / Beata Konikowska --
Translating OBJ3 into CASL: The Institution Level / Till Mossakowski --
CASL: A Guided Tour of Its Design / Peter D. Mosses --
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets / J. Padberg --
Using Reflection to Specify Transaction Sequences in Rewriting Logic / Isabel Pita and Narciso Marti-Oliet --
Concurrency and Data Types: A Specification Method. An Example with LOTOS / Pascal Poizat, Christine Choppy and Jean-Claude Royer --
The Situation and State Calculus versus Branching Temporal Logic / Jaime Ramos and Amilcar Sernadas --
Modular Specification of Concurrent Systems with Observational Logic / Pedro Resende --
Proof Normalization of Structured Algebraic Specifications Is Convergent / Martin Wirsing, John N. Crossley and Hannes Peterreins.
Series Title: Lecture notes in computer science, 1589.
Responsibility: José Luiz Fiadeiro (ed.).
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/41960962> # Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "41960962" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4535645040#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://experiment.worldcat.org/entity/work/data/4535645040#Topic/logiciels_developpement_congres> ; # Logiciels--Développement--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/types_de_donnes_abstraites_informatique_congres> ; # Types de donnés abstraites (informatique)--Congrès
    schema:about <http://dewey.info/class/005.1/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/abstract_data_types_computer_science> ; # Abstract data types (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/informatique_mathematiques_congres> ; # Informatique--Mathématiques--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/ateliers_de_genie_logiciel> ; # Ateliers de génie logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/types_abstraits_de_donnees_informatique_congres> ; # Types abstraits de données (Informatique)--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Place/lissabon_1998> ; # Lissabon <1998>
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/algebra> ; # Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/programmatuurtechniek> ; # Programmatuurtechniek
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/algebraische_spezifikation> ; # Algebraische Spezifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/computer_software_development> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/4535645040#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/116892643> ; # José Luiz Fiadeiro
    schema:copyrightYear "1999" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4535645040#Meeting/wadt_98_1998_lisbon_portugal> ; # WADT '98 (1998 : Lisbon, Portugal)
    schema:datePublished "1999" ;
    schema:description "An Algebraic Framework for Separate Type-Checking / Davide Ancona -- Moving Specification Structures Between Logical Systems / Tomasz Borzyszkowski -- Normal Forms for Partitions and Relations / Roberto Bruni, Fabio Gadducci and Ugo Montanari -- Parameterisation of Logics / Carlos Caleiro, Cristina Sernadas and Amilcar Sernadas -- Semantic Constructions for Hidden Algebra / Corina Cirstea -- Functorial Semantics for Multi-algebras / Andrea Corradini and Fabio Gadducci -- An Algebra of Graph Derivations Using Finite (co -- ) Limit Double Theories / Andrea Corradini, Martin Grosse-Rhode and Reiko Heckel -- Hierarchical Heterogeneous Specifications / Sophie Coudert, Gilles Bernot and Pascale Le Gall -- Parallel Admissible Graph Rewriting / Rachid Echahed and Jean-Christophe Janodet -- Refinements and Modules for Typed Graph Transformation Systems / Martin Grosse-Rhode, Francesco Parisi Presicce and Marta Simeoni -- Complete Strategies for Term Graph Narrowing / Annegret Habel and Detlef Plump -- Non-deterministic Computations in ELAN / Helene Kirchner and Pierre-Etienne Moreau -- Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics / Beata Konikowska -- Translating OBJ3 into CASL: The Institution Level / Till Mossakowski -- CASL: A Guided Tour of Its Design / Peter D. Mosses -- Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets / J. Padberg -- Using Reflection to Specify Transaction Sequences in Rewriting Logic / Isabel Pita and Narciso Marti-Oliet -- Concurrency and Data Types: A Specification Method. An Example with LOTOS / Pascal Poizat, Christine Choppy and Jean-Claude Royer -- The Situation and State Calculus versus Branching Temporal Logic / Jaime Ramos and Amilcar Sernadas -- Modular Specification of Concurrent Systems with Observational Logic / Pedro Resende -- Proof Normalization of Structured Algebraic Specifications Is Convergent / Martin Wirsing, John N. Crossley and Hannes Peterreins."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4535645040> ;
    schema:genre "Lissabon (1998)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4535645040#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers"@en ;
    schema:productID "41960962" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/41960962#PublicationEvent/berlin_new_york_springer_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4535645040#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz079176097kap.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz079176097inh.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz079176097cov.htm> ;
    schema:url <http://dx.doi.org/10.1007/3-540-48483-3> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t1589.htm> ;
    schema:url <http://link.springer.com/10.1007/3-540-48483-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540662464> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9959293> ;
    umbel:isLike <http://d-nb.info/956806341> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/41960962> ;
    .


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/4535645040#Place/lisbon_portugal> # Lisbon, Portugal)
    a schema:Place ;
    schema:name "Lisbon, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#Place/lissabon_1998> # Lissabon <1998>
    a schema:Place ;
    schema:name "Lissabon <1998>" ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/41960962> ; # Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#Topic/abstract_data_types_computer_science> # Abstract data types (Computer science)
    a schema:Intangible ;
    schema:name "Abstract data types (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#Topic/algebraische_spezifikation> # Algebraische Spezifikation
    a schema:Intangible ;
    schema:name "Algebraische Spezifikation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#Topic/ateliers_de_genie_logiciel> # Ateliers de génie logiciel
    a schema:Intangible ;
    schema:name "Ateliers de génie logiciel"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#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/4535645040#Topic/logiciels_developpement_congres> # Logiciels--Développement--Congrès
    a schema:Intangible ;
    schema:name "Logiciels--Développement--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
    schema:name "Programmatuurtechniek"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#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"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4535645040#Topic/types_de_donnes_abstraites_informatique_congres> # Types de donnés abstraites (informatique)--Congrès
    a schema:Intangible ;
    schema:name "Types de donnés abstraites (informatique)--Congrès"@en ;
    .

<http://link.springer.com/10.1007/3-540-48483-3>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t1589.htm>
    rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/116892643> # José Luiz Fiadeiro
    a schema:Person ;
    schema:birthDate "1961" ;
    schema:familyName "Fiadeiro" ;
    schema:givenName "José Luiz" ;
    schema:name "José Luiz Fiadeiro" ;
    .

<http://worldcat.org/isbn/9783540662464>
    a schema:ProductModel ;
    schema:isbn "3540662464" ;
    schema:isbn "9783540662464" ;
    .

<http://www.worldcat.org/title/-/oclc/41960962>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/41960962> ; # Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
    schema:dateModified "2017-10-10" ;
    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.