메뉴 건너뛰기




Volumn 30, Issue 4, 2000, Pages 256-275

The implementation technology of the mercury debugger

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; DECISION MAKING; LOGIC DESIGN; OPTIMIZATION; PROGRAM DEBUGGING; SOFTWARE PROTOTYPING; TRACE ANALYSIS; WEBSITES;

EID: 19144365700     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80661-9     Document Type: Conference Paper
Times cited : (5)

References (12)
  • 1
    • 18944375005 scopus 로고    scopus 로고
    • Ralph Becket. Mercury tutorial, 1999. Available from http://www.cs.mu.oz. au/research/mercury/tutorial.
    • (1999) Mercury Tutorial
    • Becket, R.1
  • 4
    • 0010186144 scopus 로고
    • Understanding the control flow of Prolog programs
    • Debrecen, Hungary, July
    • Lawrence Byrd. Understanding the control flow of Prolog programs. In Proceedings of the 1980 Logic Programming Workshop, pages 127-138, Debrecen, Hungary, July 1980.
    • (1980) Proceedings of the 1980 Logic Programming Workshop , pp. 127-138
    • Byrd, L.1
  • 6
    • 0032676385 scopus 로고    scopus 로고
    • Opium: An extendable trace analyser for Prolog
    • to appear in
    • Mireille Ducassé. Opium: an extendable trace analyser for Prolog. Journal of Logic Programming, to appear in 1999.
    • (1999) Journal of Logic Programming
    • Ducassé, M.1
  • 11
    • 19144365472 scopus 로고    scopus 로고
    • Opium-M 0.1 user and reference manuals
    • IRISA, Rennes, France, March
    • Erwan Jahier and Mireille Ducassé. Opium-M 0.1 user and reference manuals. Technical Report PI-IRISA-1999 No 1234, IRISA, Rennes, France, March 1999.
    • (1999) Technical Report , vol.PI-IRISA-1999 , Issue.1234
    • Jahier, E.1    Ducassé, M.2
  • 12
    • 0030262017 scopus 로고    scopus 로고
    • The execution algorithm of Mercury, an efficient purely declarative logic programming language
    • Somogyi Zolta., Henderson Fergus, Conway Thomas. The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming. 26:(1-3):October-December 1996;17-64
    • (1996) Journal of Logic Programming , vol.26 , Issue.1-3 , pp. 17-64
    • Somogyi, Zolta.1    Henderson, F.2    Conway, T.3


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