메뉴 건너뛰기




Volumn 2562, Issue , 2003, Pages 2-16

The CONTINUE server (or, how i administered PADL 2002 and 2003)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; WORLD WIDE WEB;

EID: 34248340764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36388-2_2     Document Type: Article
Times cited : (12)

References (19)
  • 2
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • Clarke, E., E. Emerson and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.1    Emerson, E.2    Sistla, A.3
  • 7
  • 11
    • 0033751744 scopus 로고    scopus 로고
    • Generalising monads to arrows
    • May
    • Hughes, J. Generalising monads to arrows. Science of Computer Programming, 37(1-3):67-111, May 2000.
    • (2000) Science of Computer Programming , vol.37 , Issue.1-3 , pp. 67-111
    • Hughes, J.1
  • 13
    • 84957069091 scopus 로고    scopus 로고
    • Naive (Bayes) at forty: The independence assumption in information retrieval
    • Nédellec, C. and C. Rouveirol, editors, Springer-Verlag
    • Lewis, D. D. Naive (Bayes) at forty: The independence assumption in information retrieval. In Nédellec, C. and C. Rouveirol, editors, Proceedings of the European Conference on Machine Learning, pages 4-15. Springer-Verlag, 1998.
    • (1998) Proceedings of the European Conference on Machine Learning , pp. 4-15
    • Lewis, D.D.1
  • 14
    • 0038165842 scopus 로고    scopus 로고
    • Identify the champion
    • Harrison, N., B. Foote and H. Rohnert, editors, Addison-Wesley
    • Nierstrasz, O. Identify the champion. In Harrison, N., B. Foote and H. Rohnert, editors, Pattern Languages of Program Design, volume 4, pages 539-556. Addison-Wesley, 2000.
    • (2000) Pattern Languages of Program Design , vol.4 , pp. 539-556
    • Nierstrasz, O.1


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