프로그래밍언어논문지 제14권 제2호 (2000년)


권두언: [.PDF 178KB]

논문

튜토리얼

연구활동소개: 문수묵 [.PDF 180KB]


본문

웹 기반 XML 개발도구 [.PDF 2252KB]

단순한 LL 커버링 변환 [.PDF 978KB]

가언적 규칙베이스를 위한 고차선형논리언어 설계 [.PDF 3310KB]

함수프로그램의 모델검사를 위한 변환 [.PDF 2150KB]

함수형 애니매이션 프로그램 [.PDF 4867KB]


프로그래밍언어 연구회