최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 포항공과대학교 산학협력단 Pohang University of Science and Technology |
---|---|
연구책임자 | 박성우 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2016-11 |
과제시작연도 | 2015 |
주관부처 | 미래창조과학부 Ministry of Science, ICT and Future Planning |
등록번호 | TRKO201700014648 |
과제고유번호 | 1345239139 |
사업명 | 이공학개인기초연구지원 |
DB 구축일자 | 2017-11-13 |
DOI | https://doi.org/10.23000/TRKO201700014648 |
웹 기반 서비스에서 XML의 영향력이 커지면서 프로그래밍언어 학계에서는 XML 문서 변환의 안전성을 정적으로 보장하기 위한 연구를 시작했다. 본 연구에서는 XML 타입 체계에 이용할 새로운 구문 서브타이핑(syntactic subtyping) 이론을 연구하고 완성한 타입 체계를 이용하여 타입 오류 없는 안전한 XML 변환 언어를 개발하는 것을 목표로 하였다. 이론 연구에서는 XML 문서를 표현하는 타입 체계에서 지금까지 사용되어온 의미론 기반 서브타이핑(semantic subtyping)과는 본질적으로 다른 구문 서브타이핑 이론 개
※ AI-Helper는 부적절한 답변을 할 수 있습니다.