2. AMAST 1991:
Iowa City,
USA
Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (Eds.):
Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991.
Workshops in Computing Springer 1992, ISBN 3-540-19797-4 BibTeX
@proceedings{DBLP:conf/amast/1991,
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Algebraic Methodology and Software Technology (AMAST '91), Proceedings
of the Second International Conference on Methodology and Software
Technology, Iowa City, USA, 22-25 May 1991},
booktitle = {AMAST},
publisher = {Springer},
series = {Workshops in Computing},
year = {1992},
isbn = {3-540-19797-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Algebraic Logic for Software Reliability
Algebraic Design of Parallel Systems
Specification of Software Systems
Construction of System Software
Reasoning about Software Development
- Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude:
Polynomial Relators (Extended Abstract).
303-326 BibTeX
- Val Breazu-Tannen, Ramesh Subrahmanyam:
On Adding Algebraic Theories with Induction to Typed Lambda Calculi.
327-340 BibTeX
- Scott F. Smith:
Extracting Recursive Programs in Type Theory.
341-349 BibTeX
- Hantao Zhang, Angshuman Guha, Xin Hua:
Using Algebraic Specification in Floyd-Hoare Assertions.
350-362 BibTeX
- Emmanuel Kounalis, Michaël Rusinowitch:
Studies on the Ground Convergence Property of Conditional Theories.
363-376 BibTeX
- Muffy Thomas, Phil Watson:
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures.
377-390 BibTeX
Tools for Software Development
Algebraic Software Technology
Copyright © Sat May 16 22:57:39 2009
by Michael Ley (ley@uni-trier.de)
