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

편집사: [.PDF 84KB]

연구논문

• 패턴 매칭 기법을 이용한 GVM SAL 코드 최적화
  김은경, 오세만

튜토리얼

• 다익스트라의 '프로그래밍의 수련(修練)': 열 번째, 몇 가지 작은 예제들의 정형적 처리 - II
  김도형
• nML과 프로그래밍 기술의 발달
  이광근

본문

패턴 매칭 기법을 이용한 GVM SAL 코드 최적화 [.PDF 144KB]

• 저자: 김은경, 오세만
• 요약:
  GVM(General Virtual Machine)은 무선 단말기 상에서 다운로드 솔루션을 통해 응용 프로그램을 효과적으로 실행할 수 있는 실행할 수 있는 가상기계(Virtual Machine) 플랫폼이다. GVM은 시스템 리소스의 제한이 쿤 무선 단말기 상에서 SGS 파일을 다운로드 받아 실행되는 시스템이므로, 성능의 저하 없이 실행되기 위해서는 보다 효율적인 컴파일러의 코드 생성이 요구된다. 본 논문에서는 GVM의 SAL 코드에 대한 최적화를 수행하는 코드 최적화기 시스템을 설계하고 구현하였다. 존재하는 최적화 방법론에 관한 연구를 통하여 SAL 코드의 특성을 고려한 알고리즘을 제안하고, 이를 바탕으로 패턴 테이블을 이용한 패턴 매칭 기법을 사용하였다. 구현된 시스템의 최적화율은 코드 크기 면에서 약 22% 정도의 감소를 이루었고 실행 속도 면에서도 평균적으로 약 8% 정도 향상되었다. 이렇게 함으로써 네트워크상의 전송 속도 뿐만 아니라 가상 기계에서도 좀 더 빠르게 실행할 수 있다.

다익스트라의 '프로그래밍의 수련(修練)': 열 번째, 몇 가지 작은 예제들의 정형적 처리 - II [.PDF 111KB]

• 저자: 김도형
• 요약:
  이번 튜토리얼에서는 두 번째로 실제 문제를 다익스트라의 프로그래밍 방법론에 의해 다루는 예제를 보인다. 두 개의 문제를 사용할 것인데, 첫 번째는 정수 나눗셈의 나머지를 구하는 것이고, 두 번째는 네 개의 수를 정렬하는 것이다.

nML과 프로그래밍 기술의 발달 [.PDF 605KB]

• 저자: 이광근
• 요약:
  ML로 대표되는 프로그래미 언어의 발전에 녹아있는 프로그래밍 기술의 발달과정을 살펴본다. 그럼으로써, 많은 사람들이 첨단으로 생각하는 컴퓨터 프로그래밍 기술의 알맹이라는 것이 사실은 아직 영글지 않은 미숙한 단계라는 것을 상기해보도록 한다. 또, ML의 한국 사투리인 nML을 소개한다.