메뉴 건너뛰기




Volumn 2342 LNCS, Issue , 2002, Pages 318-332

Concurrent execution semantics of DAML-S with subtypes

Author keywords

Agents; Languages and infrastructure; Ontologies; Services

Indexed keywords

AGENTS; CALCULATIONS; MARKUP LANGUAGES; ONTOLOGY; PETRI NETS; SOFTWARE AGENTS; WEB SERVICES; WEBSITES; COMPUTATIONAL LINGUISTICS; WORLD WIDE WEB;

EID: 84866258690     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48005-6_25     Document Type: Conference Paper
Times cited : (17)

References (18)
  • 7
    • 10644263436 scopus 로고    scopus 로고
    • Verification of erlang programs using abstract interpretation and model checking
    • Volume 34-9 of ACM SIGPLAN Notices ACM Press, September Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '99)
    • F. Huch. Verification of Erlang programs using abstract interpretation and model checking. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '99), volume 34-9 of ACM SIGPLAN Notices, pages 261-272. ACM Press, September 1999. Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '99).
    • (1999) Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '99) , pp. 261-272
    • Huch, F.1
  • 10
    • 0026971854 scopus 로고
    • Type inference in the presence of overloading, subtyping and recursive types
    • ACM Press
    • S. Kaes. Type inference in the presence of overloading, subtyping and recursive types. In Proceedings of the Conference on Lisp and Functional programming, pages 193-204. ACM Press, 1992.
    • (1992) Proceedings of the Conference on Lisp and Functional Programming , pp. 193-204
    • Kaes, S.1


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