Types and Programming Languages 개요 『Types and Programming Languages(이하 TAPL)』은 컴퓨터공학, 특히 프로그래밍 언어 이론과 형식 시스템(formal systems) 분야에서 가장 영향력 있는 학술 서적 중 하나이다. 저자인 벤자민 C. 피어스(Benjamin C. Pierce)는 펜실베이니아 대학교…
검색 결과
"형식적 정의"에 대한 검색 결과 (총 2개)
OWL (Web Ontology Language) 개요 OWL(웹 온톨로지 언, Web Ontology Language) 지식 표현 및 지능형 시스템의 핵심 기술 중 하나로, 웹 상에서 의미 있는 정보를 구조화하여 표현하고 공유할 수 있도록 설계된 언어입니다. OWL은 W3C(World Wide Web Consortium)에서 개발한 표준이며, 시맨틱 웹(…