14. WADT 1999: Château de Bonas, France

Didier Bert, Christine Choppy, Peter D. Mosses (Eds.): Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Lecture Notes in Computer Science 1827 Springer 2000, ISBN 3-540-67898-0 BibTeX

@proceedings{DBLP:conf/wadt/1999,
  editor    = {Didier Bert and
               Christine Choppy and
               Peter D. Mosses},
  title     = {Recent Trends in Algebraic Development Techniques, 14th International
               Workshop, WADT '99, Ch{\^a}teau de Bonas, France, September
               15-18, 1999, Selected Papers},
  booktitle = {WADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1827},
  year      = {2000},
  isbn      = {3-540-67898-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Topics

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll: A Type-Theoretic Memory Model for Verification of Sequential Java Programs. 1-21 BibTeX
Manfred Broy: From States to Histories. 22-36 BibTeX
Natarajan Shankar, Sam Owre: Principles and Pragmatics of Subtyping in PVS. 37-52 BibTeX

CASL: Language, Methodology and Tools

Davide Ancona, Maura Cerioli, Elena Zucca: Extending Casl by Late Binding. 53-72 BibTeX
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: Towards an Evolutionary Formal Software-Development Using CASL. 73-88 BibTeX
Mark van den Brand, Jeroen Scheerder: Development of Parsing Tools for CASL Using Generic Language Technology. 89-105 BibTeX
Christine Choppy, Gianna Reggio: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. 106-125 BibTeX
Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner: Subsorted Partial Higher-Order Locig as an Extension of CASL. 126-145 BibTeX
Markus Roggenbach, Lutz Schröder, Till Mossakowski: Specifying Real Numbers in CASL. 146-161 BibTeX

Foundations

Jo Erskine Hannay: Specification Refinement with System F - The Higher-Order Case. 162-181 BibTeX
Magne Haveraaen, Eric G. Wagner: Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. 182-200 BibTeX
Yoshiki Kinoshita, John Power: A General Completeness Result in Refinement. 201-218 BibTeX
Hugo Lourenço, Amílcar Sernadas: An Institution of Hybrid Systems. 219-236 BibTeX
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Realization of Probabilistic Automata: Categorial Approach. 237-251 BibTeX
Till Mossakowski: Specifications in an Arbitrary Institution with Symbols. 252-270 BibTeX
Fernando Orejas, Elvira Pino: A General Algebraic Framework for Studying Modular Systems. 271-290 BibTeX

Specification of Processes and Interactions

Paolo Baldan, Andrea Corradini, Ugo Montanari: History Preserving Bisimulation for Contextual Nets. 291-310 BibTeX
Alexander A. Letichevsky, David Gilbert: A Model for Interaction of Agents and Environments. 311-328 BibTeX
Ataru T. Nakagawa: Algebra-Coalgebra Structures and Bialgebras. 329-347 BibTeX
Horst Reichel: A Uniform Model Theory for the Specification of Data and Process Types. 348-365 BibTeX

14. WADT 1999: Château de Bonas, France

Invited Topics

CASL: Language, Methodology and Tools

Foundations

Specification of Processes and Interactions

Other Topics