프로그래밍언어논문지 제18권 제1호 (2004년)
편집사:
[.PDF 84KB]
연구논문
튜토리얼
본문
양상 논리의 이해 [.PDF 504KB]
- 저자: 신승철
- 요약:
고전 논리로 표현하기 어려운 컴퓨터 과학의 여러 가지 무제를 다루는
데에는 독특한 형태의 비고전 논리들이 이용된다. 여기서는 컴퓨터 과학
특히 프로그램 분석과 검증 분야에 이론적인 기반을 형성하고 있는 논리
중에서 다양한 응용이 기대되는 양상 논리의 기본적인 개념을 정리하고 고전
논리와의 독특한 차이 등을 설명한다.
Java 언어의 타입 분석 및 응용에 관한 연구: 바이트코드 검증 [.PDF 185KB]
- 저자: 창병모
- 요약:
본 논문에서는 Java 언어의 실행 환경인 자바 가상 기계 (Java virtual
machine) 및 바이트코드(Bytecode)의 개요를 소개하고 지금까지 알려진
바이트코드 검증(Bytecode Verification) 기술에 대해서 타입 분석 기법이
적용된 예를 중심으로 설명한다.
DOM 기반 XML-스키마 생성도구 설계 [.PDF 137KB]
- 저자: 이돈양, 송영재
- 요약:
XML 기반으로 데이터를 이용한 어플리케이션 개발에서 적절한 클래스의
생성을 위해 DOM 트리를 이용하면 매우 유연한 방법을 가질 수 있다. 또한
DOM은 XML Document의 데이터 구조를 표현하는데 매우 적당하다. 본
논문에서는 이런 DOM의 기능을 이용하여 XMI 메타모델에서 표기한 패턴의
클래스에 대한 메타데이터를 연구하였다. 특히 일반적인 메타데이터나
마크업언어 생성보다는 메타모델에 적합한 도구의 설계에 중점을 두었고,
DOM 트리의 파서 생성방법을 이용하여 XML-스키마 마크업언어 생성도구를
설계하였다. 그 결과 XML-스키마 마크업언어를 인터페이스를 이용하여
생성할 수 있었으며, 아울러 복잡하고 까다로운 XML-스키마언어를 쉽게
작성할 수 있도록 하였다
다익스트라의 '프로그래밍의 수련(修練)':아홉 번째, 몇 가지 작은 예제들의 정형적 처리 [.PDF 119KB]
- 저자: 김도형
- 요약:
이 번 튜토리얼에서는 실제 문제를 다익스트라의 프로그래밍 방법론에 의해
다루는 예제를 보인다. 두 개의 문제를 사용할 것인데, 첫 번째는 두 수 중
큰 것을 고르는 것이고, 두 번째는 정해진 구간 내에서 주어진 함수의 값을
최대로 만드는 값을 찾는 것이다.
프로그래밍언어 연구회