PEARL: an interactive system for the preparation and validation of structured programs

Authors:
R. A. Snowdon
Affiliations:
The University of Newcastle Upon Tyne, Newcastle Upon Tyne, England
Venue:
ACM SIGPLAN Notices
Year:
1972

Citing 2
Cited 4

Toward a man-machine system for proving program correctness

Toward a man-machine system for proving program correctness
A program verifier

A program verifier

A course in effective programming

SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Survey of existing programming aids

ACM SIGPLAN Notices
The roots of structured programming

SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
SPOT: a structured system development system

ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

The PEARL system is an attempt to provide an environment for the writing of correct programs. Facilities are provided for the construction and filing of structured programs, whilst techniques have been developed for the inclusion of assertions involving abstract operations and data types. As a result, programs, possibly incomplete, can be compiled and executed, any error communication with the programmer being in terms of the appropriate level of his source program.