WADT'99 List of Papers to appear in the Proceedings LNCS 1827 Recent Trends in Algebraic Development Techniques Preface

Home page

Invited Topics

• J. van den Berg, M. Huisman, B. Jacobs and E. Poll
  A Type-Theoretic Memory Model for Verification of Sequential Java Programs
  
  
• Manfred Broy
  From States to Histories.
  
  
• Natarajan Shankar and Sam Owre
  Principles and Pragmatics of Subtyping in PVS.
  
  

CASL Language, Methodology, and Tools

• Davide Ancona, Maura Cerioli and Elena Zucca
  Extending CASL by Late Binding
  (Abstract)
  
  
• Serge Autexier, Dieter Hutter, Heiko Mantel and Axel Schairer
  Towards an Evolutionary Formal Software-Development Using CASL
  (Abstract)
  
  
• Mark van den Brand and Jeroen Scheerder
  Development of Parsing Tools for CASL using Generic Language Technology
  (Abstract)
  
  
• Christine Choppy and Gianna Reggio
  Using CASL to Specify the Requirements and the Design: a Problem Specific Approach
  (Abstract)
  
  
• Till Mossakowski, Anne Haxthausen and Bernd Krieg-Brückner
  Subsorted Partial Higher-Order Logic as an Extension of CASL
  (Abstract)
  
  
• Markus Roggenbach, Lutz Schröder and Till Mossakowski
  Specifying Real Numbers in CASL
  (Abstract)
  
  

Foundations

• Jo Hannay
  Specification Refinement with System F, The Higher-Order Case
  (Abstract)
  
  
• Magne Haveraaen and Eric Wagner
  Guarded Algebras: Disguising Partiality so You Won't Know Whether its There
  (Abstract)
  
  
• Yoshiki Kinoshita and John Power
  A General Completeness Result in Refinement
  (Abstract)
  
  
• Hugo Lourenço, Amílcar Sernadas
  An Institution of Hybrid Systems
  (Abstract)
  
  
• Paulo Mateus, Amílcar Sernadas and Cristina Sernadas
  Realization of Probabilistic Automata : Categorial Approach
  (Abstract)
  
  
• Till Mossakowski
  Specifications in an Arbitrary Institution with Symbols
  (Abstract)
  
  
• Fernando Orejas and Elvira Pino
  A General Algebraic Framework for Studying Modular Systems
  (Abstract)
  
  

Specification of Processes and Interactions

• Paolo Baldan, Andrea Corradini and Ugo Montanari
  History Preserving Bisimulation for Contextual Nets
  (Abstract)
  
  
• Alexander Letichevsky and David Gilbert
  A Model for Interaction of Agents and Environments
  (Abstract)
  
  
• Ataru T. Nakagawa
  Algebra-Coalgebra Structures and Bialgebras
  (Abstract)
  
  
• Horst Reichel
  A Uniform Model Theory for the Specification of Data and Process Types
  (Abstract)
  
  

Other Topics

• Hubert Baumeister
  Relating Abstract Datatypes and Z-Schemata
  (Abstract)
  
  
• Didier Bert and Stéphane Lo Presti
  Algebraic Specification of Operator-based Multimedia Scenarios
  (Abstract)
  
  
• Tomasz Borzyszkowski
  Higher-Order Logic and Theorem Proving for Structured Specifications
  (Abstract)
  
  
• John N. Crossley, Iman Poernomo and Martin Wirsing
  Extraction of Structured Programs from Specification Proofs
  (Abstract)
  
  
• José Luis Fiadeiro, T. Maibaum, N. Martí-Oliet, J. Meseguer, I. Pita
  Towards a Verification Logic for Rewriting Logic
  (Abstract)
  
  
• Patricia D. L. Machado
  The Rôle of Normalisation in Testing from Structured Algebraic Specifications
  (Abstract)