Skip to main content
SpringerLink
Log in

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

  • Book
  • © 1990

Overview

Authors:
  1. David Luckham

    1. Computer Science Laboartory, Stanford University, Stanford, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (11 chapters)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. What Anna Is

    • David Luckham
    Pages 1-18

  3. Simple Annotations

    • David Luckham
    Pages 19-58

  4. Using Simple Annotations

    • David Luckham
    Pages 59-110

  5. Exceptions

    • David Luckham
    Pages 111-127

  6. Package Specifications

    • David Luckham
    Pages 128-168

  7. The Process of Specifying Packages

    • David Luckham
    Pages 169-232

  8. Annotation of Generic Units

    • David Luckham
    Pages 233-251

  9. Annotation of Operations on Composite Types

    • David Luckham
    Pages 252-282

  10. Annotation of the Hidden Parts of Packages

    • David Luckham
    Pages 283-319

  11. Interpretation of Package Specifications

    • David Luckham
    Pages 320-356

  12. Processes for Consistent Implementation of Packages

    • David Luckham
    Pages 357-385

  13. Back Matter

    Pages 386-418
    Download chapter PDF
Back to top

Keywords

About this book

Topics • what this book is about, • its intended audience, • what the reader ought to know, • how the book is organized, • acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan­ guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi­ nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.

Authors and Affiliations

  • Computer Science Laboartory, Stanford University, Stanford, USA

    David Luckham

Bibliographic Information

  • Book Title: Programming with Specifications

  • Book Subtitle: An Introduction to ANNA, A Language for Specifying Ada Programs

  • Authors: David Luckham

  • Series Title: Monographs in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4613-9685-7

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag New York, Inc. 1990

  • Softcover ISBN: 978-1-4613-9687-1Published: 05 January 2012

  • eBook ISBN: 978-1-4613-9685-7Published: 06 December 2012

  • Series ISSN: 0172-603X

  • Series E-ISSN: 2512-5486

  • Edition Number: 1

  • Number of Pages: XVI, 416

  • Topics: Programming Languages, Compilers, Interpreters, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation