메뉴 건너뛰기




Volumn , Issue , 2006, Pages 81-90

Adding constraint handling rules to curry

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

EID: 84893431507     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (6)

References (24)
  • 1
    • 0000481520 scopus 로고    scopus 로고
    • A Needed Narrowing Strategy
    • S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, Vol. 47, No. 4, pp. 776-822, 2000.
    • (2000) Journal of the ACM , vol.47 , Issue.4 , pp. 776-822
    • Antoy, S.1    Echahed, R.2    Hanus, M.3
  • 6
    • 0032186691 scopus 로고    scopus 로고
    • Theory and Practice of Constraint Handling Rules
    • T. Frühwirth. Theory and Practice of Constraint Handling Rules. Journal of Logic Programming, Vol. 37, No. 1-3, pp. 95-138, 1998.
    • (1998) Journal of Logic Programming , vol.37 , Issue.1-3 , pp. 95-138
    • Frühwirth, T.1
  • 7
    • 0028427164 scopus 로고
    • The Integration of Functions into Logic Programming: From Theory to Practice
    • M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19&20, pp. 583-628, 1994.
    • (1994) Journal of Logic Programming , vol.19-20 , pp. 583-628
    • Hanus, M.1
  • 11
  • 19
    • 84957689990 scopus 로고    scopus 로고
    • TOY: A Multiparadigm Declarative System
    • Springer LNCS 1631
    • F. López-Fraguas and J. Sánchez-Hernández. TOY: A Multiparadigm Declarative System. In Proc. of RTA'99, pp. 244-247. Springer LNCS 1631, 1999.
    • (1999) Proc. of RTA'99 , pp. 244-247
    • López-Fraguas, F.1    Sánchez-Hernández, J.2
  • 24
    • 0031232913 scopus 로고    scopus 로고
    • How to Declare an Imperative
    • P. Wadler. How to Declare an Imperative. ACM Computing Surveys, Vol. 29, No. 3, pp. 240-263, 1997.
    • (1997) ACM Computing Surveys , vol.29 , Issue.3 , pp. 240-263
    • Wadler, P.1


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