Pascal program development aids

Authors:
Charles E. Hughes;Charles P. Pfleeger
Affiliations:
The University of Tennessee, Knoxville, Tennessee;The University of Tennessee, Knoxville, Tennessee
Venue:
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
Year:
1979

Citing 8
Cited 0

An Assessment of Techniques for Proving Program Correctness

ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability

ACM Computing Surveys (CSUR)
High-level data flow analysis

Communications of the ACM
A program data flow analysis procedure

Communications of the ACM
Design and implementation of a diagnostic compiler for PL/I

Communications of the ACM
Assist: a self modifiable assembler for instructional purposes

ACM '72 Proceedings of the ACM annual conference - Volume 1
Testing large software with automated software evaluation systems

Proceedings of the international conference on Reliable software
Semantic error detection in programming languages.

Semantic error detection in programming languages.

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe a set of tools we have devised to aid in the development and maintenance of PASCAL programs. PASCAL has been chosen as a target language since it is gaining increasing interest as a language for use on mini- and microcomputers.