편∙집∙사

프로그래밍언어 연구회 회원 여러분께,

안녕하십니까?

프로그래밍언어논문지의 2005년 제2호인 제19권 제2호를 발간하게 된 것을 기쁘게 생각합니다.  이번 호에는 2005년 11월19일에 항공대학교에서 개최된 프로그래밍언어연구회 추계학술대회에 발표되었던 7편의 논문을 싣고 있습니다. 게재된 논문들의 주제를 간략히 소개하면  멀티 프로세서 시스템을 위한 적응형 실행 기법, CTL 모델 체킹, 보안 정보흐름 분석, 모델의 정형 분석, 프로그램 자르개, 배열 오버런 분석을 위한 정적 분석기 등입니다.

이번 학술대회의 조직위원장으로 학술대회가 성공적으로 이루어질 수 있도록 물심양면으로 수고해주신 항공대학교 이긍해 교수님과 안준선 교수님께 감사드립니다. 다시 한번 운영위원 및 회원 여러분의 수고와 도움에 감사드리며, 모든 분들의 건승과 프로그래밍언어연구회의 무궁한 발전을 기원합니다.

2005년 11월 19일

프로그래밍언어연구회

편집위원회