Algebraic Methodology and Software Technology (AMAST’93)

1. Front Matter

   Pages i-xiv

   PDF

2. Opening Address by the Rector of the University of Twente

   1. Opening Address by the Rector of the University of Twente

      • Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo

      Pages 1-1

3. Welcoming Address AMAST’93

   1. Welcoming Address AMAST’93

      • Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo

      Pages 2-2

4. Invited Papers

   1. Front Matter

      Pages 3-3

      PDF

   2. Applying Algebraic Logic to Logic

      • Hajnal Andréka, István Németi, Ildikó Sain

      Pages 5-26

   3. Relation Algebras for Reasoning about Time and Space

      • Roger D. Maddux

      Pages 27-44

   4. On the value of commutative diagrams in information modelling

      • Michael Johnson, C. N. G. Dampney

      Pages 45-58

   5. Rigorous specification of real-time systems

      • Steve Schneider

      Pages 59-74

   6. Full Abstraction in Structural Operational Semantics (extended abstract)

      • Rob van Glabbeek

      Pages 75-82

   7. Synchronous Observers and the Verification of Reactive Systems

      • Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond

      Pages 83-96

   8. Constraints in Term Algebras (Short Survey)

      • Hubert Comon

      Pages 97-108

   9. Joining Abstract and Concrete Computations in Constraint Logic Programming

      • Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray

      Pages 109-126

5. Communications

   1. Front Matter

      Pages 127-127

      PDF

   2. Dimension-Complemented Lambda Abstraction Algebras

      • Don Pigozzi, Antonino Salibra

      Pages 129-136

   3. Parameterized Recursion Theory — A Tool for the Systematic Classification of Specification Methods

      • Till Mossakowski

      Pages 137-144

   4. Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection

      • Tim Sheard

      Pages 145-152

   5. A Coherent Type System for a Concurrent, Functional and Imperative Programming Language

      • Dominique Bolignano, Mourad Debabi

      Pages 153-162

   6. Peirce Algebras

      • Chris Brink, Katarina Britz, Renate A. Schmidt

      Pages 163-166

   7. Comparing Two Different Approaches to Products in Abstract Relation Algebra

      • R. Berghammer, A. Haeberer, G. Schmidt, P. Veloso

      Pages 167-176

   8. Specifying Type Systems with Multi-Level Order-Sorted Algebra

      • Martin Erwig

      Pages 177-184

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica­ tions. The selection was very strict, for 121 submissions were received.

• Algebraic Specification
• Formal Methods
• Program Development
• design
• functional programming
• logic
• programming
• software engineering

• LITP, Université Paris VII, Paris-Cedex 05, France

  Maurice Nivat

• Department of Computing Science, University of Stirling, Stirling, Scotland, UK

  Charles Rattray

• Department of Computer Science, University of Iowa, Iowa City, USA

  Teodor Rus

• Fac. Informatica, University of Twente, Enschede, The Netherlands

  Giuseppe Scollo

Policies and ethics