SCOPUS 정보 검색 플랫폼

Volumn 16, Issue 1, 1981, Pages 1-46

An experimental program transformation and synthesis system

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0019536064 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(81)90014-X Document Type: Article

Times cited : (66)

References (15)

1
- 84910560684
- Some generalisation heuristics in proofs by induction
- Arcet-Senans, France
- (1975) Proc. IRIA Symposium on Proving and Improving Programs , pp. 197-208
- Aubin¹

2
- 0016437462
- Proving theorems about LISP functions
- (1975) J. Assoc. Comput. Mach. , vol.22 , Issue.1 , pp. 129-144
- Boyer¹ Moore²

3
- 33645434089
- Design considerations for a functional programming language
- Copenhagen
- (1977) Proc. Infotech State of the Art Conf.
- Burstall¹

4
- 0017419683
- A transformation system for developing recursive programs
- (1977) Journal of the ACM , vol.24 , Issue.1 , pp. 44-67
- Burstall¹ Darlington²

7
- 84909567358
- Application of program transformation to program synthesis
- Arc-et-Senans, France
- (1975) Proc. IRIA Symposium on Proving and Improving Programs , pp. 133-144
- Darlington¹

8
- 84911572984
- A synthesis of several sorting algorithms
- Department of Artificial Intelligence, University of Edinburgh
- (1976) Research Report No. 23
- Darlington¹

9
- 84911507547
- Darlington, J., The formal development of a priority queue algorithm, in preparation.

10
- 0002424767
- An initial approach to the specification, correctness and implementation of abstract data types
- R.T. Yeh, Prentice-Hall, Englewood Cliffs, NJ
- (1977) Current Trends in Programming Methodology, Vol. 3, Data Structuring
- Goguen¹ Thatcher² Wagner³

11
- 0006440677
- The specification and application to programming of abstract data types
- University of Toronto
- (1975) CSRG-S9
- Guttag¹

12
- 0000713015
- Predicate logic as a programming language
- North-Holland, Amsterdam
- (1974) Proc. of IFIP Congress 1974 , pp. 569-574
- Kowalski¹

13
- 0016521045
- Knowledge and reasoning in program synthesis
- (1975) Artificial Intelligence , vol.6 , Issue.2 , pp. 175-208
- Manna¹ Waldinger²

14
- 84911572983
- Introducing iteration into the pure LISP theorem prover
- Xerox Palo Alto Res. Center, Palo Alto, CA
- (1975) CSL-74-3
- Moore¹

15
- 84911507546
- Interactive program verification using virtual programs
- Department of Artificial Intelligence, University of Edinburgh
- (1975) Thesis
- Topor¹

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