Control Computations and the Design of Loop Control Structures

IEEE Transactions on Software Engineering

Volumn SE-4, Issue 2, 1978, Pages 81-89

  Pratt, Terrence W ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

Control computation; control structures; program design; programming languages; proofs of programs

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0017943680     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1978.231478     Document Type: Article

References (10)

1. A. Ambler, D. Good, J. Browne, W. Burger, R. Cohen, C. Hoch, and R. Wells, “GYPSY: A language for specification and implementation of verifiable programs,” ACM SIGPLAN Notices: Proc. Conf. Language Design for Reliable Software, vol. 12, no. 3, Mar. 1977, pp. 1–10.
2. U. Ammann, Compiler for PASCAL 6000-3.4, Release 1, Up date 1–10, Institut fur Informatik, ETH, Zurich, 1975.
3. K. Jensen and N. Wirth, PASCAL User Manual and Report, 2nd ed., in Lecture Notes in Comput. Sci, vol. 18. Berlin: Springer-Verlag, 1975.
4. B. Kernighan and P. Plauger, Software Tools. Reading, MA: Addison-Wesley, 1976.
5. D. Knuth, “Structured programming with goto statements,” Comput. Surveys, vol. 6, pp. 261–302, Dec. 1974.
6. B. Lampson, J. Horning, R. London, J. Mitchell, and G. Popek, “Report on the programming language EUCLID,” ACM SIGPLAN Notices, vol. 12, no. 2, pp. 1–79, Feb. 1977.
7. H. Ledgard and M. Marcotty, “A genealogy of control structures,” Commun. Ass.Comput. Mach., vol. 18, pp. 629–638, Nov. 1975.
8. B. Liskov, A. Snyder, R. Atkinson, and C. Schaffert, “Abstraction mechanisms in CLU,” Commun. Ass. Comput. Mach., vol. 20, pp. 564–576, Aug. 1977.
9. A. Perlis. “The synthesis of algorithmic systems,” J. Assoc. Comput. Mach., vol. 14, pp. 1–9, Jan. 1967.
10. M. Shaw, W. Wulf, and R. London, “Abstraction and verification in Alphard: Defining and specifying iteration and generators,” Commun. Ass. Comput. Mach., vol. 20, pp. 553–563, Aug. 1977.