ANU: The Australian National University
_____________________________________________________________________
[ANU] [FEIT] [DCS] [Jim Grundy] [Research] [Teaching] [Publications] [Software] [CV]
_____________________________________________________________________

Predicative Programming - A Survey

Reference

Jim Grundy. Predicative Programming - A Survey. In Bjørner, et.al. (eds). Formal Methods in Programming and Their Applications: Proceedings of the International Conference, volume 735 of Lecture Notes in Computer Science. Novosibirsk, Russia, June 1993. Springer-Verlag. pages 8-25.

Abstract

The idea of using a predicate to specify behavior is a compelling one, and leads to a desire to refine specifications into implementations in languages whose semantics have also been specified with predicates.

Many of us believe we share a common intuition about what a specification phrased as a predicate means. It may be surprising to learn that there are several ways to interpret a predicate as a specification. Under these interpretations, the same predicate can specify different behavior. This paper examines three simple styles of specification using predicates.

BibTeX

Here is a suitable BibTeX entry:

  @INPROCEEDINGS{Grundy:1993:PPS,
    author      = "Jim Grundy",
    title       = "Predicative Programming---A Survey",
    pages       = "8-25",
    editor      = "Dines Bj{\o}rner and Manfred Broy and
                   Igor V. Pottosin",
    booktitle   = "Formal Methods in Programming and
                   Their Applications: Proceedings of
                   the International Conference",
    series      = "Lecture Notes in Computer Science",
    volume      = 735,
    address     = "Novosibirsk, Russia",
    month       = jun,
    year        = 1993,
    publisher   = "Springer-Verlag"}

Citations

If you liked this paper, then you might also like the following papers which cite it:

Where To Find it

If you are having trouble finding the proceedings in which this paper appears, then the following information may be of help:

Title: Formal Methods in Programming and Their Applications: International Conference
Editors: Dines Bjørner, Manfred Broy and Igor V. Pottosin
Series: Lecture Notes in Computer Science
Volume: 735
Copyright: 1993
Publisher: Springer-Verlag, Berlin, New York
LoC Call #: QA76.6 .F577 1993
LoC Card #: 93-21317
Dewy Call #: 005.1 dc20
ISBN: 3-540-57316-X (Berlin)
0-387-57316-X (New York)
_____________________________________________________________________
[ANU] [FEIT] [DCS] [Jim Grundy] [Research] [Teaching] [Publications] [Software] [CV]
_____________________________________________________________________
Feedback & Queries: Jim Grundy
Date Last Modified: Thu 11 Nov 1999
Universal Ressource Locator: file:/home/jgrundy/www//Publications/fmp93a.html