http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이광근 한국정보과학회 프로그래밍언어연구회 2004 프로그래밍언어논문지 Vol.18 No.2
ML로 대표되는 프로그래밍 언어의 발전에 녹아있는 프로그래밍 기술의 발달과정을 살펴본다. 그럼으로써, 많은 사람들이 첨단으로 생각하는 컴퓨터 프로그래밍 기술의 알맹이라는 것이 사실은 아직 영글지 않은 미숙한 단계라는 것을 상기해 보도록 한다. 또, ML의 한국 사투리인 nML을 소개한다.
술어 추상화를 이용한 자바 프로그램의 단순화 및 모델 체킹
이태훈,권기현 한국정보과학회 프로그래밍언어연구회 2004 프로그래밍언어논문지 Vol.18 No.3
모델 체킹은 오류를 찾아내기 위한 검증 기술중의 하나로서 하드웨어 검증, 소프트웨어 검증, 프로토콜 검증등에 적용되어 왔다. 현재 많은 연구 그룹들이 모델 체킹을 이용해서 프로그램 소스 코드를 직접 검증하려는 시도를 진행중이다. 유한 상태만을 다루는 현재의 모델 체킹 기술로는 프로그램 소스 코드를 직접 검증하기 힘들다. 왜냐하면 프로그램은 무한 상태를 갖고 있기 때문이다. 이를 해결하기 위한 기술 중에 하나가 술어 추상화이다. 술어 추상화를 통해서 무한 상태 공간을 유한 상태 공간으로 축소할 수 있다. 현재까지 개발된 술어 추상화 기반의 모델 체킹 도구로는 SLAM, BLAST, MAGIC 등이 있다. 이들 도구는 C 언어와 같은 절차적 프로그램의 검증만을 지원하는 반면에, 자바 언어와 같은 객체지향 프로그램의 검증은 지원하지 않는다. 본 논문에서는 술어 추상화를 자바 프로그램에 적용하여 추상화된 이진 프로그램을 구한 후, SMV를 이용해서 이진 프로그램을 검증하는 방법을 제안한다.
박재훈,유재규,전양승,정영식,한성국 한국정보과학회 프로그래밍언어연구회 2006 프로그래밍언어논문지 Vol.20 No.2
이미 축적된 방대한 컨텐츠에 의미 기반 메타데이터 구축을 수작업으로 하는 것은 거의 불가능하다. 온톨로지나 시맨틱 웹 개념이 없는 일반 사용자가 자신의 컨텐츠에 효과적인 의미 정보를 부착을 하기란 매우 어렵다. 실질적인 KM, EDM, Semantic Portal, Semantic Search Engine 구현과 활성화를 위해서 필수적인 기술인 시맨틱 어노테이션은 자연언어 처리와 텍스트 마이닝 기술에 기반한다. 사람이름, 기업명, 주소 등의 개체명 인식과 사건, 원인, 결과, 상황 등의 정보 추출 기술에 기반하고 Semantic Annotation Tool은 다양한 온톨로지에 대한 적응력을 필요하며, 방대한 언어자원이 필수적이다. 이에 본 논문에서는 수많은 정보들에 태그를 붙여 컴퓨터가 의미처리를 할 수 있는 지식기반의 시맨틱 어노테이터를 구현한다.
김덕환,이광근 한국정보과학회 프로그래밍언어연구회 2006 프로그래밍언어논문지 Vol.20 No.2
고차 함수를 지원하는 다단계 프로그래밍 언어에 대한 흐름을 고려한 집합 제약식 분석을 제안한다. 다단계 프로그램이란 프로그램 텍스트를 값처럼 다루는 프로그램이다. 최근에 다양한 언어 특징을 포함한 다단계 프로그램을 위한 let-다향 타입 체계와 그 추론 시스템이 제시되었다. 그러나, 타입 체계는 일반적으로 프로그램에서 실제로 실행되지 않는 부분에 대해서도 보수적으로 타입 검사를 수행하는 단점을 지니고 있다. 이 논문에서는 프로그램의 실행의 흐름을 고려하는 단순 타입 체계보다 정교한 프로그램 분석을 고안한다.
창병모 한국정보과학회 프로그래밍언어연구회 2004 프로그래밍언어논문지 Vol.18 No.1
본 논문에서는 Java 언어의 실행 환경인 자바 가상 기계 (Java virtual machine) 및 바이트코드(Bytecode)의 개요를 소개하고 지금까지 알려진 바이트코드 검증(Bytecode Verification) 기술에 대해서 타입 분석 기법이 적용된 예를 중심으로 설명한다.
김도형(Do-Hyung Kim) 한국정보과학회 프로그래밍언어연구회 2004 프로그래밍언어논문지 Vol.18 No.2
이번 튜토리얼에서는 두 번째로 실제 문제를 다익스트라의 프로그래밍 방법론에 의해 다루는 예제를 보인다. 두 개의 문제를 사용할 것인데, 첫 번째는 정수 나눗셈의 나머지를 구하는 것이고, 두 번째는 네 개의 수를 정렬하는 것이다.