메뉴 건너뛰기




Volumn 5366 LNCS, Issue , 2008, Pages 698-702

Environment reuse in the WAM

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROGRAMMING THEORY; ARTIFICIAL INTELLIGENCE; COMPUTERS;

EID: 58549115757     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_60     Document Type: Conference Paper
Times cited : (1)

References (6)
  • 1
    • 58549118806 scopus 로고    scopus 로고
    • Clocksin, W., Mellish, C: Programming in Prolog. Springer, Heidelberg (1984)
    • Clocksin, W., Mellish, C: Programming in Prolog. Springer, Heidelberg (1984)
  • 3
    • 0003881875 scopus 로고
    • An Abstract Prolog Instruction Set
    • Technical Report 309, SRI
    • Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 309, SRI (1983)
    • (1983)
    • Warren, D.H.D.1
  • 4
    • 0027578050 scopus 로고
    • Global optimizations in a Prolog compiler for the TOAM
    • Zhou, N.F.: Global optimizations in a Prolog compiler for the TOAM. Journal of Logic Programming 15(4), 275-294 (1993)
    • (1993) Journal of Logic Programming , vol.15 , Issue.4 , pp. 275-294
    • Zhou, N.F.1
  • 5
    • 84867833683 scopus 로고    scopus 로고
    • Demoen, B., Nguyen, P.L.: So many WAM variations, so little time. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), 1861, pp. 1240-1254. Springer, Heidelberg (2000)
    • Demoen, B., Nguyen, P.L.: So many WAM variations, so little time. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1240-1254. Springer, Heidelberg (2000)
  • 6
    • 38149089690 scopus 로고    scopus 로고
    • Zhou, N.F.: A Register-Free Abstract Prolog Machine with Jumbo Instructions. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, 4670, pp. 455-457. Springer, Heidelberg (2007)
    • Zhou, N.F.: A Register-Free Abstract Prolog Machine with Jumbo Instructions. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 455-457. Springer, Heidelberg (2007)


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