3. AMAST 1993:
Twente,
The Netherlands
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (Eds.):
Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993.
Workshops in Computing Springer 1994, ISBN 3-540-19852-0 BibTeX
@proceedings{DBLP:conf/amast/1993,
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Algebraic Methodology and Software Technology (AMAST '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands,
21-25 June, 1993},
booktitle = {AMAST},
publisher = {Springer},
series = {Workshops in Computing},
year = {1994},
isbn = {3-540-19852-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Communications
- Don Pigozzi, Antonino Salibra:
Dimension-Complemented Lambda Abstraction Algebras.
129-136 BibTeX
- Till Mossakowski:
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods.
137-144 BibTeX
- Tim Sheard:
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection.
145-152 BibTeX
- Dominique Bolignano, Mourad Debbabi:
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.
153-162 BibTeX
- Chris Brink, Katarina Britz:
Peirce Algebras.
163-166 BibTeX
- Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso:
Comparing Two Different Approaches to Products in Abstract Relation Algebra.
167-176 BibTeX
- Martin Erwig:
Specifying Type Systems with Multi-Level Order-Sorted Algebra.
177-184 BibTeX
- Peter Thiemann:
An Overview of the SODA System.
185-192 BibTeX
- Gillian Hill:
Category Theory for the Configuration of Complex Systems.
193-200 BibTeX
- Maura Cerioli, Gianna Reggio:
Algebraic-Oriented Institutions.
201-208 BibTeX
- Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems.
209-216 BibTeX
- Hartmut Ehrig, Francesco Parisi-Presicce:
Interaction between Algebraic Specification Grammars and Modular System Design.
217-224 BibTeX
- R. K. Shyamasundar:
Specification of Hybrid Systems in CRP.
225-236 BibTeX
- Aurel Cornell, John Knaack, A. Nangia, Teodor Rus:
Real-Time Program Synthesis from Specifications.
237-244 BibTeX
- Ed Brinksma:
On the Coverage of Partial Validations.
245-252 BibTeX
- Khalil Drira, Pierre Azéma:
Verifying Communication Protocols Via Testing-Projection.
253-262 BibTeX
- Pasquale Malacaria:
Equivalences of Transition Systems in an Algebraic Framework.
263-270 BibTeX
- Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri:
Semantics Frameworks for a Class of Modular Algebraic Nets.
271-280 BibTeX
- David de Frutos-Escrig:
A Characterization of LOTOS Representable Networks of Parallel Processes.
281-288 BibTeX
- Roberto Gorrieri, Marco Roccetti:
Towards Performance Evaluation in Process Algebras.
289-296 BibTeX
- François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen:
Translation Results for Modal Logics of Reactive Systems.
297-306 BibTeX
- Ismar Neumann Kaufman, Silvio Romero de Lemos Meira:
Modal Action Logic in a Practical Specification Language.
307-314 BibTeX
- Abdelillah Mokkedem, Dominique Méry:
On Using a Composition Principle to Design Parallel Programs.
315-324 BibTeX
- Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters:
A Notion of Refinement for Automata.
325-332 BibTeX
- Eric G. Wagner:
The Role of Memory in Object-based and Object-oriented Languages.
333-342 BibTeX
- Ruth Breu, Michael Breu:
Abstract and Concrete Objects - An Algebraic Design Method for Object-Based Systems.
343-348 BibTeX
- Xue-Miao Lu, Tharam S. Dillon:
Towards an Algebraic Theory of Inheritance in Project Oriented Programming.
349-358 BibTeX
- Martin Gogolla, Ingo Claßen:
An Object-Oriented Design for the ACT ONE Environment.
359-366 BibTeX
- Julio García-Martín, Juan José Moreno-Navarro:
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).
367-376 BibTeX
- Valentin M. Antimirov, Anatoli Degtyarev:
Completeness of Equational Definitions over Predefined Algebras.
377-384 BibTeX
- George Loegel, Chinya V. Ravishankar:
An Algebraic Approach to Modeling in Software Engineering.
385-392 BibTeX
- Elizabeth A. Scott:
Automated Proof of the Correctness of a Compiling Specification.
393-400 BibTeX
System Demonstrations
Copyright © Sat May 16 22:57:39 2009
by Michael Ley (ley@uni-trier.de)