Coverart for item
The Resource Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers, Didier Bert, Christine Choppy, Peter Mosses (eds.)

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers, Didier Bert, Christine Choppy, Peter Mosses (eds.)

Label
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Title
Recent trends in algebraic development techniques
Title remainder
14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Statement of responsibility
Didier Bert, Christine Choppy, Peter Mosses (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Index
index present
LC call number
QA76.76.D47
LC item number
W33 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
WADT '99
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Bert, Didier
  • Choppy, C.
  • Mosses, Peter
http://library.link/vocab/subjectName
  • Computer software
  • Computer science
  • Abstract data types (Computer science)
  • méthode formelle
  • démonstration théorème
  • réécriture
  • langage spécification
  • spécification formelle
  • spécification algébrique
  • Ateliers de génie logiciel
  • Informatique
  • Types abstraits de données (Informatique)
  • Abstract data types (Computer science)
  • Computer science
  • Computer software
  • Programacao de computadores
  • Engenharia de programacao (software)
  • Ateliers de génie logiciel
  • Informatique
  • Types abstraits de données (informatique)
Label
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers, Didier Bert, Christine Choppy, Peter Mosses (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 476 pages
Isbn
9783540678984
Lccn
00061912
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Specific material designation
remote
System control number
  • (OCoLC)44750756
  • (OCoLC)ocm44750756
Label
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers, Didier Bert, Christine Choppy, Peter Mosses (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 476 pages
Isbn
9783540678984
Lccn
00061912
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Specific material designation
remote
System control number
  • (OCoLC)44750756
  • (OCoLC)ocm44750756

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...