SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

International Journal of Man-Machine Studies

Volumn 12, Issue 2, 1980, Pages 189-202

Understanding and debugging programs

(1) Lukey, F J a

a UNIVERSITY OF SUSSEX (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EID: 0018985666 PISSN: 00207373 EISSN: None Source Type: Journal
DOI: 10.1016/S0020-7373(80)80017-4 Document Type: Article

Times cited : (37)

References (7)

1
- 0016437462
- Proving theorems about LISP functions
- (1975) Journal of the Association for Computing Machinery , vol.22 , pp. 129-144
- Boyer, R.S.¹ Moore, J.S.²

2
- 0016555968
- Summary of MYCROFT: a system for understanding simple picture programs
- (1975) Artificial Intelligence , vol.6 , pp. 249-288
- Goldstein, I.P.¹

3
- 0016941016
- Logical analysis of programs
- (1976) Communications of the Association for Computing Machinery , vol.19 , pp. 188-206
- Katz, S.M.¹ Manna, Z.²

4
- 0016971687
- Symbolic execution and program testing
- (1976) Communications of the Association for Computing Machinery , vol.19 , pp. 385-393
- King, J.¹

5
- 85011122843
- Understanding and debugging simple computer programs
- University of Sussex
- (1978) D.Phil. thesis
- Lukey, F.J.¹

6
- 33750688330
- Initial report on a LISP programmer's apprentice
- Massachusetts Institute of Technology, AI Laboratory
- (1976) Report AI-TR-354
- Rich, C.¹ Shrobe, H.E.²

7
- 84939741681
- A system for understanding mathematical FORTRAN programs
- Massachusetts Institute of Technology, AI Laboratory
- (1976) Report AI-TR-368
- Waters, R.C.¹

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