SIMPLE: A program development system

Authors:
Augusto Celentano;Pierluigi Della Vigna;Carlo Ghezzi;Dino Mandrioli
Affiliations:
Istituto di Electtrotecnica ed Elettronica, Politecnico di Milano, Piazza L. da Vinci 32, 20133 Milano, Italy;Istituto di Electtrotecnica ed Elettronica, Politecnico di Milano, Piazza L. da Vinci 32, 20133 Milano, Italy;Istituto di Electtrotecnica ed Elettronica, Politecnico di Milano, Piazza L. da Vinci 32, 20133 Milano, Italy;Istituto di Electtrotecnica ed Elettronica, Politecnico di Milano, Piazza L. da Vinci 32, 20133 Milano, Italy
Venue:
Computer Languages
Year:
1980

Citing 6
Cited 0

Incremental Parsing

ACM Transactions on Programming Languages and Systems (TOPLAS)
A type-checking program linkage system for pascal

ICSE '78 Proceedings of the 3rd international conference on Software engineering
Notes on the design of Euclid

Proceedings of an ACM conference on Language design for reliable software
DoD's Common Programming Language Effort

Computer
An Introduction to the Construction and Verification of Alphard Programs

IEEE Transactions on Software Engineering
The ECL programming system

AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

A program development system (PDS) should support a smooth transition between design, development, debugging, testing and final production of a software system. Man-machine interaction, though necessary, should not allow the user to modify the program or its execution state in an unstructured way; rather, disciplined interaction should be enforced by the PDS. After a review of the most desirable features of a PDS, the underlying philosophy of SIMPLE, a PDS which supports the development of Pascal programs, is introduced. The general structure of the SIMPLE system and the basic implementation choices are also discussed.