• 인터넷정보학회논문지
• /
• 제2권3호
• /
• pp.71-79
• /
• 2001

점진적 속성 평가 알고리즘에서는 새로운 입력 트리가 기존 입력 트리와 정확히 비교되어서 새로운 트리를 구성할 때 기존 속성 트리의 어떤 서브 트리를 사용해야 하는가를 결정한다. 이 논문에서는 계층적 속성 문법의 점진적 평가를 효율적으로 하기 위해 점진적 속성 평가 알고리즘을 이용하였으며 Carle과 Pollock의 알고리즘을 분석하여 점진적 속성 평가 알고리즘으로 재구성하고, 속성 트리 dcopy의 구성요소를 새로운 속성 트리 d'copy에 적용하여 최적화된 속성 트리 d'copy의 점진적 속성 평가 알고리즘을 구성하였다. 또한 점진적 속성 평가 알고리즘을 이용하여 실제적인 입력 프로그램에서 재사용된 노드의 표현과 정의된 변수 형(type)이 어떻게 점진적인 속성 평가를 수행하는가를 나타내었다.

• 정보처리학회논문지A
• /
• 제8A권3호
• /
• pp.209-216
• /
• 2001

복잡한 언어 처리에 점진적 속성 문법을 적용하기 위해서는 최적화 알고리즘을 사용하는 것이 효과적이다. 점진적 속성문법의 최적화 알고리즘에서는 새로운 입력 속성 트리가 기존 입력 속성 트리와 정확히 비교되어서 새로운 속성 트리를 구성할 대 기존 속성 트리의 어떤 서브트리를 사용해야 하는가를 결정한다. 본 논문에서는 Carle과 Pollock에 의해 제안된 알고리즘을 분석하여 효과적인 최적화 알고리즘으로 재구성하고, 새로은 속성 트리 d'copy의 생성 과정과, 속성트리 d'copy의 새로운 최적화 알고리즘을 추가하였다. 이 논문에서 제안한 매칭 알고리즘의 성능평가를 통하여 기존의 알고리즘 보다 제안한 최적화 알고리즘의 실행 시간을 약 19.5% 향상 시킬 수 있었다.

• 정보처리학회논문지A
• /
• 제17A권2호
• /
• pp.73-80
• /
• 2010

하드웨어의 성능이 향상됨에 따라 멀티태스킹 방식으로 병행 처리하는 연구가 다양하게 진행되고 있다. 프로그램 개발 단계에서 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이 점진 평가인데, 여러 프로세서에서 병렬로 처리하는 대신 자바언어의 멀티쓰레딩 기능을 활용하여 점진 평가의 효율성을 증대시키는 연구가 필요하다. 본 논문에서는 의미 구조에 직접적으로 영향을 주는 변수의 값을 나타내는 속성을 중심으로 종속성을 표시하여 객체 지향언어인 자바 언어에서 병행 점진 평가를 동시에 효율적으로 수행할 수 있는 병행 점진 평가 알고리즘을 제시하고 그 알고리즘의 정확성을 증명한다. 실험을 통해 병행 점진 평가 방법의 효율성을 분석한다.

• 정보처리학회논문지A
• /
• 제11A권3호
• /
• pp.149-156
• /
• 2004

소프트웨어가 대형화되고 고도화되어 감에 따라 프로그램 개발 환경에서 프로그래밍 생산성과 효율성을 향상시키기 위해 에디팅. 컴파일링, 디버깅 및 실행을 하나의 통합 환경으로 구축하는 것이 필요하다. 이러한 환경에서 중요한 도구가 되는 것이 점진 번역기이다. 본 논문에서는 소프트웨어의 재 사용성과 생산성을 향상시키기 위해, 에디팅, 디버깅, 점진 해석 및 실행을 하나의 통합 환경으로 구성하여 보다 친근하고 편리하게 사용할 수 있는 사용자 인터페이스를 제공하는 소프트웨어 개발을 위한 통합 점진 해석 시스템을 구축하고자 한다. 객체 지향 언어인 IMPLO(IMPerative Language with Object) 언어를 EBNF 표기법으로 정의하고 이 언어에 대한 점진 해석기를 구현한다. 점진 해석기를 구현하기 위해 정적 의미론을 표현하는 속성 문법을 확장하여 동적인 의미론을 표현할 수 있는 작용 식을 제시한다. 동적 의미 분석 방법에 의해 점진 해석을 수행하고 에디터와 디버거를 가진 통합 점진 해석 시스템을 Lex와 Yacc을 이용해서 C 언어로 프로그래밍하고 SUN에서 X로 구현하였다. 예제 프로그램들의 점진 실행 시간을 전체 프로그램의 실행 시간과 비교했을 때 약 50％ 정도의 속도 개선 효과를 거둘 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권8호
• /
• pp.1018-1027
• /
• 1999

속성 문법은 언어의 정적인 의미구조를 표현하는 형식적인 표기법으로 동적인 의미구조를 표현하기는 부적절하다. 동적 의미구조를 잘 명세하고 명세된 언어를 구현하기 위해서 기존의 속성 문법을 확장하여 언어 구현에 필요한 동적인 작용들(actions)을 잘 표현해야 한다. 본 논문에서는 속성 문법을 확장하여 정적이고 동적인 의미구조를 잘 표현할 수 있는 새로운 작용 식(action equation)을 제시한다. 제시된 작용 식(action equation)의 동적인 의미 구조로 부터 SIMP 언어의 점진 해석기(incremental interpreter)를 설계하고 구현한다. 점진 해석기는 언어 기반의 프로그래밍 환경에서 수정된 부분만을 번역하여 프로그램의 전체 실행 결과를 얻는 해석기를 의미한다. 본 해석기는 SUN 1000에서 Lex와 Yacc을 사용해서 C 언어로 설계하고 구현하였다. 예제 프로그램을 실행시켰을 때 배정 문이나 IF문의 경우는 매우 효율적이었고 Loop의 경우는 재실행될 필요가 있는 영향받는 명령문들이 적을수록 점진 해석이 더 효율적으로 수행된다.Abstract Attribute grammars are a formal notation which expresses the static semantics of programming languages, but they are not suitable for expressing dynamic semantics. To describe dynamic semantics and implement a specified language, we extend attribute grammars and present new action equations which describe static and dynamic semantics. The incremental interpreter of a SIMP language is designed and implemented from the dynamic semantics of presented action equations. The incremental interpreter is to translate only modified part in the language-based programming environments and have results of whole program.Our interpreter is implemented in C with Lex and Yacc on SUN 1000. When we execute example programs, the incremental evaluation of any assignment and IF statements executes efficiently. But in the case of loop, we execute efficiently when the effected statements to be reexecuted in the loop are of small number.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.957-960
• /
• 2000

프로그래밍 환경이 단순구조 편집환경에서 보다 복잡한 환경으로 진보되고, 언어 기반 편집 환경의 비중이 확대되면서 속성 문법의 점진적 평가의 이용이 효과적이다. 점진적 평가는 새로운 속성 트리가 기존의 속성 트리와 정확히 비교되어 기존 속성 트리를 사용하여 새로운 속성 트리를 구성한다. 본 논문에서는 Carle의 알고리즘을 분석하고 새로운 점진적 평가 알고리즘으로 재구성한다. 특히, 새로운 속성 트리 $d'_{copy}$의 생성 과정과, 최적화된 속성트리의 새로운 점진적 평가 알고리즘을 추가한다.