SCOPUS 정보 검색 플랫폼

Proceedings of the 1978 Annual Conference, ACM 1978

Volumn 2_130696, Issue , 1978, Pages 891-900

Heuristics for program synthesis using loop invariants

(1) Duran, Joe W a

a UNIVERSITY OF TEXAS AT DALLAS (United States)

Author keywords

Automatic programming; Loop invariants; Program correctness; Program synthesis

Indexed keywords

AUTOMATIC PROGRAMMING; INPUT OUTPUT PROGRAMS;

LOOP CONTROL; LOOP INVARIANTS; PROGRAM CORRECTNESS; PROGRAM SYNTHESIS; PROGRAM VARIABLES; SECOND ORDERS; SUB-PROBLEMS; THEOREM PROVERS; AUTOMATIC PROGRAMMING;

THEOREM PROVING; COMPUTER PROGRAMMING;

EID: 0018066741 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/800178.810159 Document Type: Conference Paper

Times cited : (5)

References (10)

1
- 33745183021
- Memo AIM-236, Stanford A. I. Lab
- Buchanan, J. R. and Luckham, D. C., On Automating the Construction of Programs, Memo AIM-236, Stanford A. I. Lab. (1974).
- (1974) On Automating the Construction of Programs
- Buchanan, J.R.¹ Luckham, D.C.²

2
- 84915532413
- Automatic program synthesis in second order logic
- Stanford
- Darlington, J. L., Automatic Program Synthesis in Second Order Logic, Proc. Third International Joint Conf. On Artificial Intelligence, Stanford (1973).
- (1973) Proc. Third International Joint Conf. on Artificial Intelligence
- Darlington, J.L.¹

3
- 85069921610
- University of New Mexico (January
- Dijkstra, E. W., Lectures delivered at NSF Conference on Programming Methodology, Univ-ersity of New Mexico (January, 1974).
- (1974) Lectures Delivered at NSF Conference on Programming Methodology
- Dijkstra, E.W.¹

4
- 0004253669
- Prentice-Hall, Inc. Englewood Cliffs
- Dijkstra, E. W., A Discipline of Programming (Prentice-Hall, Inc., Englewood Cliffs, 1976).
- (1976) A Discipline of Programming
- Dijkstra, E.W.¹

5
- 0015353542
- An assessment of techniques for proving program correctness
- June
- Elspas, B., Levitt, K. N., Waldinger, R. J., arid Waksman, A., An Assessment of Techniques for Proving Program Correctness, Computing Surveys, A (June 1972), 97-147.
- (1972) Computing Surveys, A , pp. 97-147
- Elspas, B.¹ Levitt, K.N.² Waldinger, R.J.³ Arid Waksman, A.⁴

6
- 0014632428
- Application of theorem proving to problem solving
- Washington, D.C
- Green, C., Application of Theorem Proving to Problem Solving, Proc. International Joint Conf. on Artificial Intelligence, Washington, D.C. (1969).
- (1969) Proc. International Joint Conf. on Artificial Intelligence
- Green, C.¹

7
- 0016049698
- An improved program-synthesizing algorithm and its correctness
- April
- Lee, R. C. T., Chang, C. L., and Waldlnger, R. J., An Improved Program-Synthesizing Algorithm and Its Correctness, Cong. ACM, 17 (April 1974), 211-217.
- (1974) Cong. ACM , vol.17 , pp. 211-217
- Lee, R.C.T.¹ Chang, C.L.² Waldlnger, R.J.³

8
- 0017969797
- SE-4 (May
- Manna, Z. and Waldinger, R., The Logic of Computer Programming, IEEE Trans. On Software Engineering, SE-4 (May 1978), 199-229.
- (1978) IEEE Trans. on Software Engineering , Issue.THE LOGIC OF COMPUTER PROGRAMMING , pp. 199-229
- Manna, Z.¹ Waldinger, R.²

9
- 84976775198
- The synthesis of loop predicates
- February
- Wegbreit, B., The Synthesis of Loop Predicates, Comm. ACM, 17 (February 1974), 102-112.
- (1974) Comm. ACM , vol.17 , pp. 102-112
- Wegbreit, B.¹

10
- 0038386482
- Prentice-Hall, Inc. Englewood Cliffs
- Wirth, N. Systematic Programming; An Introduction. (Prentice-Hall, Inc., Englewood Cliffs, 1973).
- (1973) Systematic Programming; An Introduction
- Wirth, N.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.