Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2001.10a
  • /
  • Pages.340-342
  • /
  • 2001
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

The nML Compiler System (status report)

nML 컴파일러 시스템 (status report)

  • 이광근 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 이욱세 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 어현준 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 김정택 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 최웅식 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 류석영 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 강현구 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 서선애 (한국과학기술원 프로그램 분석 시스템 연구단) ;
  • 장성순 (한국과학기술원 프로그램 분석 시스템 연구단)
  • Published : 2001.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

상위의 타입 구조를 갖춘 (higher-order and typed) nML을 고안하고 그 컴파일러를 개발하였다. nML은 프로그래밍 언어 분야의 중요한 성과들을 충실히 실현한 언어로서, Standard ML과 Objective Caml 장점과 실제 프로그래밍 세계의 관성을 염두에 두고 정의되었다. nML 컴파일러의 실용성과 안전성은 이미 여러 응용 시스템 소프트웨어의 개발로 실험되고 있다. 이 전통적인 컴파일러 시스템에 본 연구단의 프로그램 분석기술들이 장착되면서, 실시간 안전성 검증이 가능하고, 작고, 자발적인 적응력 있는 코드를 만들어내는 컴파일러로 발전하는 발판이 마련되었다.

Keywords