Search results for "WADT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mark van den Brand, Jeroen Scheerder	Development of Parsing Tools for CASL Using Generic Language Technology.	WADT	1999	DBLP DOI BibTeX RDF
1	Davide Ancona, Maura Cerioli, Elena Zucca	Extending Casl by Late Binding.	WADT	1999	DBLP DOI BibTeX RDF
1	John N. Crossley, Iman Poernomo, Martin Wirsing	Extraction of Structured Programs from Specification Proofs.	WADT	1999	DBLP DOI BibTeX RDF
1	Till Mossakowski	Specifications in an Arbitrary Institution with Symbols.	WADT	1999	DBLP DOI BibTeX RDF
1	José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer 0001, Isabel Pita	Towards a Verification Logic for Rewriting Logic.	WADT	1999	DBLP DOI BibTeX RDF
1	Patrícia D. L. Machado	The Rôle of Normalisation in Testing from Structured Algebraic Specifications.	WADT	1999	DBLP DOI BibTeX RDF
1	Natarajan Shankar, Sam Owre	Principles and Pragmatics of Subtyping in PVS.	WADT	1999	DBLP DOI BibTeX RDF
1	Yoshiki Kinoshita, John Power	A General Completeness Result in Refinement.	WADT	1999	DBLP DOI BibTeX RDF
1	Christine Choppy, Gianna Reggio	Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.	WADT	1999	DBLP DOI BibTeX RDF
1	Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner	Subsorted Partial Higher-Order Locig as an Extension of CASL.	WADT	1999	DBLP DOI BibTeX RDF
1	Tomasz Borzyszkowski	Moving Specification Structures Between Logical Systems.	WADT	1998	DBLP DOI BibTeX RDF
1	Davide Ancona	An Algebraic Framework for Separate Type-Checking.	WADT	1998	DBLP DOI BibTeX RDF
1	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Refinements and Modules for Typed Graph Transformation Systems.	WADT	1998	DBLP DOI BibTeX RDF
1	Andrea Corradini 0001, Fabio Gadducci	Functorial Semantics for Multi-algebras.	WADT	1998	DBLP DOI BibTeX RDF
1	Till Mossakowski	Translationg OBJ3 into CASL: The Institution Level.	WADT	1998	DBLP DOI BibTeX RDF
1	Jaime Ramos, Amílcar Sernadas	The Situation and State Calculus versus Branching Temporal Logic.	WADT	1998	DBLP DOI BibTeX RDF
1	Pedro Resende	Modular Specification of Concurrent Systems with Observational Logic.	WADT	1998	DBLP DOI BibTeX RDF
1	Hélène Kirchner, Pierre-Etienne Moreau	Non-deterministic Computations in ELAN.	WADT	1998	DBLP DOI BibTeX RDF
1	Roberto Bruni, Fabio Gadducci, Ugo Montanari	Normal Forms for Partitions and Relations.	WADT	1998	DBLP DOI BibTeX RDF
1	Sophie Coudert, Gilles Bernot, Pascale Le Gall	Hierarchical Heterogeneous Specifications.	WADT	1998	DBLP DOI BibTeX RDF	structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification
1	Martin Wirsing, John N. Crossley, Hannes Peterreins	Proof Normalization of Structured Algebraic Specifications Is Convergent.	WADT	1998	DBLP DOI BibTeX RDF
1	Julia Padberg	Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets.	WADT	1998	DBLP DOI BibTeX RDF
1	Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas	Parameterisation of Logics.	WADT	1998	DBLP DOI BibTeX RDF
1	Andrea Corradini 0001, Martin Große-Rhode, Reiko Heckel	An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.	WADT	1998	DBLP DOI BibTeX RDF
1	Isabel Pita, Narciso Martí-Oliet	Using Reflection to Specify Transaction Sequences in Rewriting Logic.	WADT	1998	DBLP DOI BibTeX RDF
1	Rachid Echahed, Jean-Christophe Janodet	Parallel Admissible Graph Rewriting.	WADT	1998	DBLP DOI BibTeX RDF
1	Annegret Habel, Detlef Plump	Complete Strategies for Term Graph Narrowing.	WADT	1998	DBLP DOI BibTeX RDF
1	Pascal Poizat, Christine Choppy, Jean-Claude Royer	Concurrency and Data Types: A Specification Method: An Example with LOTOS.	WADT	1998	DBLP DOI BibTeX RDF	constraint oriented, state oriented, specification, method, LOTOS, automaton
1	Corina Cîrstea	Semantic Constructions for Hidden Algebra.	WADT	1998	DBLP DOI BibTeX RDF
1	Beata Konikowska	Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics.	WADT	1998	DBLP DOI BibTeX RDF
1	Peter D. Mosses	CASL: A Guided Tour of Its Design.	WADT	1998	DBLP DOI BibTeX RDF
1	Andrea Corradini 0001	A Completeness result for equational deduction in coalgebraic specification.	WADT	1997	DBLP DOI BibTeX RDF
1	Alfio Martini, Uwe Wolter	A systematic study of mappings between institutions.	WADT	1997	DBLP DOI BibTeX RDF
1	Davide Ancona, Elena Zucca	An algebra of mixin modules.	WADT	1997	DBLP DOI BibTeX RDF
1	Bernhard Gramlich	Modular aspects of rewrite-based specifications.	WADT	1997	DBLP DOI BibTeX RDF
1	Maura Cerioli, Elena Zucca	Implementation of derived programs (almost) for free.	WADT	1997	DBLP DOI BibTeX RDF
1	Fabio Gadducci, Reiko Heckel	An inductive view of graph transformation.	WADT	1997	DBLP DOI BibTeX RDF
1	F. Miguel Dionísio, Udo W. Lipeck	Specifying with defaults: Compositional semantics.	WADT	1997	DBLP DOI BibTeX RDF
1	Wieslaw Pawlowski	Context parchments.	WADT	1997	DBLP DOI BibTeX RDF
1	Peter Padawitz	Towards the one-tiered design of data types and transition systems.	WADT	1997	DBLP DOI BibTeX RDF
1	Martin Große-Rhode	From algebra transformation to labelled transition systems.	WADT	1997	DBLP DOI BibTeX RDF
1	Roberto Bruni, Ugo Montanari	Zero-safe nets: The individual token approach.	WADT	1997	DBLP DOI BibTeX RDF
1	José Meseguer 0001	Membership algebra as a logical framework for equational specification.	WADT	1997	DBLP DOI BibTeX RDF
1	Martin Gogolla, Mark Richters	On combining semiformal and formal object specification techniques.	WADT	1997	DBLP DOI BibTeX RDF
1	Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski	Combining and representing logical systems using model-theoretic parchments.	WADT	1997	DBLP DOI BibTeX RDF
1	Till Mossakowski, Kolyang 0001, Bernd Krieg-Brückner	Static semantic analysis and theorem proving for CASL.	WADT	1997	DBLP DOI BibTeX RDF
1	Slawomir Lasota 0001	Open maps as a bridge between algebraic observational equivalence and bisimilarity.	WADT	1997	DBLP DOI BibTeX RDF
1	Corina Cîrstea	Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.	WADT	1997	DBLP DOI BibTeX RDF
1	Sophie Cherki, Christine Choppy	A method for FORTRAN programs reverse engineering using algebraic specifications.	WADT	1997	DBLP DOI BibTeX RDF
1	Francesco Parisi-Presicce (eds.)	Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers	WADT	1997	DBLP DOI BibTeX RDF
1	Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter	From abstract data types to algebraic development techniques: A shift of paradigms.	WADT	1997	DBLP DOI BibTeX RDF
1	T. Borzyskowski	Correctness of a logical system for structured specifications.	WADT	1997	DBLP DOI BibTeX RDF
1	Michal Walicki, Marcin Bialasik	Categories of relational structures.	WADT	1997	DBLP DOI BibTeX RDF
1	José Meseguer 0001, Ugo Montanari	Mapping tile logic into rewriting logic.	WADT	1997	DBLP DOI BibTeX RDF
1	Till Mossakowski	Colimits of order-sorted specifications.	WADT	1997	DBLP DOI BibTeX RDF
1	Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing	Verifying a compiler optimization for Multi-Threaded Java.	WADT	1997	DBLP DOI BibTeX RDF

Publications at "WADT"( http://dblp.L3S.de/Venues/WADT )