Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. WADT 1999: Château de Bonas, France
- Didier Bert, Christine Choppy, Peter D. Mosses
:
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
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 - Manfred Broy:
From States to Histories. 22-36 - Natarajan Shankar, Sam Owre:
Principles and Pragmatics of Subtyping in PVS. 37-52
CASL: Language, Methodology and Tools
- Davide Ancona, Maura Cerioli, Elena Zucca:
Extending Casl by Late Binding. 53-72 - Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer:
Towards an Evolutionary Formal Software-Development Using CASL. 73-88 - Mark van den Brand, Jeroen Scheerder:
Development of Parsing Tools for CASL Using Generic Language Technology. 89-105 - Christine Choppy, Gianna Reggio:
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. 106-125 - Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner:
Subsorted Partial Higher-Order Locig as an Extension of CASL. 126-145 - Markus Roggenbach, Lutz Schröder, Till Mossakowski:
Specifying Real Numbers in CASL. 146-161
Foundations
- Jo Erskine Hannay:
Specification Refinement with System F - The Higher-Order Case. 162-181 - Magne Haveraaen, Eric G. Wagner:
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. 182-200 - Yoshiki Kinoshita, John Power:
A General Completeness Result in Refinement. 201-218 - Hugo Lourenço, Amílcar Sernadas:
An Institution of Hybrid Systems. 219-236 - Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Realization of Probabilistic Automata: Categorial Approach. 237-251 - Till Mossakowski:
Specifications in an Arbitrary Institution with Symbols. 252-270 - Fernando Orejas, Elvira Pino:
A General Algebraic Framework for Studying Modular Systems. 271-290
Specification of Processes and Interactions
- Paolo Baldan, Andrea Corradini, Ugo Montanari:
History Preserving Bisimulation for Contextual Nets. 291-310 - Alexander A. Letichevsky, David R. Gilbert:
A Model for Interaction of Agents and Environments. 311-328 - Ataru T. Nakagawa:
Algebra-Coalgebra Structures and Bialgebras. 329-347 - Horst Reichel:
A Uniform Model Theory for the Specification of Data and Process Types. 348-365
Other Topics
- Hubert Baumeister:
Relating Abstract Datatypes and Z-Schemata. 366-382 - Didier Bert, Stéphane Lo Presti:
Algebraic Specification of Operator-Based Multimedia Scenarios. 383-400 - Tomasz Borzyszkowski:
Higher-Order Logic and Theorem Proving for Structured Specifications. 401-418 - John N. Crossley, Iman Poernomo, Martin Wirsing:
Extraction of Structured Programs from Specification Proofs. 419-437 - José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita:
Towards a Verification Logic for Rewriting Logic. 438-458 - Patrícia D. L. Machado:
The Rôle of Normalisation in Testing from Structured Algebraic Specifications. 459-476
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
