메뉴 건너뛰기




Volumn 749 LNCS, Issue , 1993, Pages 135-152

The location of errors in functional programs

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS; PROGRAM DEBUGGING;

EID: 21344492653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0019406     Document Type: Conference Paper
Times cited : (5)

References (10)
  • 2
    • 84949492331 scopus 로고
    • Technical Report 12/92, Artificial Intelligence Systems Research Group, School of Engineering and Computer Science, University of Durham, Science Laboratories, South Road, Durham DH1 3LE, United Kingdom
    • R. Garigliano, R.G. Morgan, and M.H. Smith. LOLITA: Progress report 1. Technical Report 12/92, Artificial Intelligence Systems Research Group, School of Engineering and Computer Science, University of Durham, Science Laboratories, South Road, Durham DH1 3LE, United Kingdom, 1992.
    • (1992) LOLITA: Progress report 1
    • Garigliano, R.1    Morgan, R.G.2    Smith, M.H.3
  • 4
    • 38049044612 scopus 로고
    • Technical Report 92/6, Department of Computer Science, University of Melbourne, Parkville, Melbourne, Victoria 3052, Australia, May
    • L. Naish. Declarative debugging of lazy functional programs (draft). Technical Report 92/6, Department of Computer Science, University of Melbourne, Parkville, Melbourne, Victoria 3052, Australia, May 1992.
    • (1992) Declarative debugging of lazy functional programs (draft)
    • Naish, L.1
  • 5
    • 84976653407 scopus 로고
    • Algorithmic debugging for lazy functional languages
    • M. Bruynooghe and M. Wirsing, editors, number 631 in Lecture Notes in Computer Science, Leuven, Belgium, August, Springer-Verlag
    • H. Nilsson and P. Fritzson. Algorithmic debugging for lazy functional languages. In M. Bruynooghe and M. Wirsing, editors, Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, number 631 in Lecture Notes in Computer Science, pages 385-399, Leuven, Belgium, August 1992. Springer-Verlag.
    • (1992) Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming , pp. 385-399
    • Nilsson, H.1    Fritzson, P.2
  • 8
    • 77951502008 scopus 로고
    • Lazy debugging of lazy functional programs
    • R.M. Snyder. Lazy debugging of lazy functional programs. New Generation Computing, 8(2):138-161, 1990.
    • (1990) New Generation Computing , vol.8 , Issue.2 , pp. 138-161
    • Snyder, R.M.1
  • 9
    • 77951504616 scopus 로고
    • Adapting combinator and SECD machines to display snapshots of functional computations
    • I. Toyn and C. Runciman. Adapting combinator and SECD machines to display snapshots of functional computations. New Generation Computing, 4(4):339-363, 1986.
    • (1986) New Generation Computing , vol.4 , Issue.4 , pp. 339-363
    • Toyn, I.1    Runciman, C.2
  • 10
    • 84922995178 scopus 로고
    • Miranda: A non-strict functional language with polymorphic types
    • Jean-Pierre Jouannaud, editor, number 201 in Lecture Notes in Computer Science, Nancy, France, Springer-Verlag
    • D.A. Turner. Miranda: a non-strict functional language with polymorphic types. In Jean-Pierre Jouannaud, editor, Proceedings of the IFIP International Conference on Functional Programming Languages and Computer Architecture, number 201 in Lecture Notes in Computer Science, pages 1-16, Nancy, France, 1985. Springer-Verlag.
    • (1985) Proceedings of the IFIP International Conference on Functional Programming Languages and Computer Architecture , pp. 1-16
    • Turner, D.A.1


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