|
|
Conferences in DBLP
- Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
A Type-Theoretic Memory Model for Verification of Sequential Java Programs. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:1-21 [Conf]
- Manfred Broy
From States to Histories. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:22-36 [Conf]
- Natarajan Shankar, Sam Owre
Principles and Pragmatics of Subtyping in PVS. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:37-52 [Conf]
- Davide Ancona, Maura Cerioli, Elena Zucca
Extending Casl by Late Binding. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:53-72 [Conf]
- Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Towards an Evolutionary Formal Software-Development Using CASL. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:73-88 [Conf]
- Mark van den Brand, Jeroen Scheerder
Development of Parsing Tools for CASL Using Generic Language Technology. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:89-105 [Conf]
- Christine Choppy, Gianna Reggio
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:106-125 [Conf]
- Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner
Subsorted Partial Higher-Order Locig as an Extension of CASL. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:126-145 [Conf]
- Markus Roggenbach, Lutz Schröder, Till Mossakowski
Specifying Real Numbers in CASL. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:146-161 [Conf]
- Jo Erskine Hannay
Specification Refinement with System F - The Higher-Order Case. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:162-181 [Conf]
- Magne Haveraaen, Eric G. Wagner
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:182-200 [Conf]
- Yoshiki Kinoshita, John Power
A General Completeness Result in Refinement. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:201-218 [Conf]
- Hugo Lourenço, Amílcar Sernadas
An Institution of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:219-236 [Conf]
- Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Realization of Probabilistic Automata: Categorial Approach. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:237-251 [Conf]
- Till Mossakowski
Specifications in an Arbitrary Institution with Symbols. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:252-270 [Conf]
- Fernando Orejas, Elvira Pino
A General Algebraic Framework for Studying Modular Systems. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:271-290 [Conf]
- Paolo Baldan, Andrea Corradini, Ugo Montanari
History Preserving Bisimulation for Contextual Nets. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:291-310 [Conf]
- Alexander A. Letichevsky, David Gilbert
A Model for Interaction of Agents and Environments. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:311-328 [Conf]
- Ataru T. Nakagawa
Algebra-Coalgebra Structures and Bialgebras. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:329-347 [Conf]
- Horst Reichel
A Uniform Model Theory for the Specification of Data and Process Types. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:348-365 [Conf]
- Hubert Baumeister
Relating Abstract Datatypes and Z-Schemata. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:366-382 [Conf]
- Didier Bert, Stéphane Lo Presti
Algebraic Specification of Operator-Based Multimedia Scenarios. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:383-400 [Conf]
- Tomasz Borzyszkowski
Higher-Order Logic and Theorem Proving for Structured Specifications. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:401-418 [Conf]
- John N. Crossley, Iman Poernomo, Martin Wirsing
Extraction of Structured Programs from Specification Proofs. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:419-437 [Conf]
- José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
Towards a Verification Logic for Rewriting Logic. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:438-458 [Conf]
- Patrícia D. L. Machado
The Rôle of Normalisation in Testing from Structured Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
WADT, 1999, pp:459-476 [Conf]
|
