Skip to main content
SpringerLink
Log in

Algebraic Methodology and Software Technology

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Teodor Rus

    1. Department of Computer Science, The University of Iowa, Iowa City, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1816)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  3. Technical Meetings

    2. Session 2

      1. Algebraic State Machines
        • Manfred Broy, Martin Wirsing
        Pages 89-118
      2. Meta Languages in Algebraic Compilers
        • Eric Van Wyk
        Pages 119-134
      3. Random Access to Abstract Data Types
        • Martin Erwig
        Pages 135-149
      4. A Monad for Basic Java Semantics
        • Bart Jacobs, Erik Poll
        Pages 150-164
      5. A Global Semantics for Views
        • Christine Choppy, Pascal Poizat, Jean-Claude Royer
        Pages 165-180
      6. Analysis of Downward Closed Properties of Logic Programs
        • Patricia M. Hill, Fausto Spoto
        Pages 181-196
Back to top

Keywords

About this book

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. Ten years later a myriad of workshops, conferences, and researchprogramsthat sharethe goalsof the AMAST movementhaveoccurred. This can be taken as proof that the AMAST vision is right. However, often the myriad of workshops, conferences, and research programs lack the clear obj- tives and the coordination of their goals towards the software technology en- sioned by AMAST. This can be taken as a proof that AMAST is still necessary.

Editors and Affiliations

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

    Teodor Rus

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation