• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권6호
• /
• pp.486-490
• /
• 2010

점진적 파싱은 기존의 입력 문자열에 대한 파싱 정보를 새로운 문자열의 파싱시에 이용하고자 하는 취지로 연구 개발되었다. 본 논문은 기존에 제안된 비단말 심볼을 미리보기(lookahead) 심볼로 포함시킨 점진적 LL(1) 파서를 개선시킨 방법을 제안한다. 기존 연구에서는 오류가 발생한 상황에서 불필요한 작업을 반복적으로 수행하기에 시간적으로 비효율적이다. 본 논문에서는 이에 대한 해결 방안을 제공한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권1_2호
• /
• pp.126-131
• /
• 2002

주어진 문법이 LL 언어를 생성하는가의 문제를 LL 변환 가능성의 관점에서 조사한다. LL 변환 가능 문법을 특징짓기 위해 기존의 방법은 비결정적인(nondeterministic) 복잡한 파서의 생성을 필요로 한다. 이에 기존 방법으로는 LL 언어의 본질에 대한 직관적인 이해가 어렵다. 이 단점을 극복하고자 본 논문에선 파서의 생성 없이 문법 자체의 분석을 통한 문법 유도(derivation)에 근거한 특징화를 제시한다. 새로운 특징화는 LL 언어의 본질에 대한 직관적인 이해를 도울 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권11호
• /
• pp.845-850
• /
• 2010

점진적 구문분석은 기존 입력 문자열에 대한 구문분석 정보를 새로운 문자열의 구문분석 시에 재사용하고자 하는 취지로 연구 개발되었다. 기존 점진적 LL(1) 구문분석에서는 미리 재사용 시점을 계산하여 이를 구문분석 시에 이용하였다 본 논문에서는 기존의 재사용 시점 계산을 인수분해하여 불필요한 중복 계산 없이 효율적으로 수행하는 방법을 제안한다. 또한 기존의 재사용 시점 파악을 위해서 사용되었던 공통심볼 저장방법과 거리저장방법을 결합하여 공통심볼까지의 거리저장방법을 제안한다. 이에 기반한 효율적인 점진적 LL(1) 구문분석기를 생성한다.

• 정보과학회지
• /
• 제5권2호
• /
• pp.61-84
• /
• 1987

1950년대 초기의 Compiler가 나온 이후로 지금까지 Compiler를 만드는 기 술이 급격히 발전해 왔다. Backus는 “초기의 FORTRAN Compiler를 만드는데 18man-years가 걸렸다”고 하였다. 그러나 현재에 이르러서는 Computer Science Department의 학생들이 Compiler구조 시간을 통하여 한학기 정도의 작업으로도 실제 Compiler를 설치할 수 있게 되었다. 이렇게 지난 20여년간 크게 발전할 수 있었던 이유에 대하여 Aho and Ullman은 Compilation과정을 modulor하게 구 성하는 법을 이해하였고, Compilation중의 여러 중요한 작업을 처리하는 조직 적 기술을 연구 개발 하였으며, 특히 이를 뒷받침하는 software tools을 개발 하였음을 말하고 있다. 여기서 말하는 compiler writing tools는 scanner (lexical analyzer)나 parser generators에서 크게는 compiler generator 혹은 compiler compiler를 의미하고 있다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제13권1호
• /
• pp.15-21
• /
• 2017

수 많은 파일로 이루어진 소프트웨어 패키지를 일일이 분석하는 것은 많은 시간과 비용을 요구하는 작업이다. 이에 리눅스 재단의 워킹그룹인 SPDX에서는 소프트웨어의 명세정보(메타데이터) 규약을 발표하였다. SPDX 문서는 2017년 상반기 기준 2.1버전이 발표되었으며, 총 7개의 콘텐츠에 66개 항목이 존재한다. 또한 Tag/Value 형식과 RDF형식을 권장하며, 스프레드시트 형식을 지원한다. 본 연구에서는 SPDX 문서를 각 항목별로 분류하고, 유효성 검사를 해주는 SPDX Parse & Validator 툴을 개발하였다. 추후 SPDX 문서를 생성(Generator)하는 툴을 개발하여 보다 효율적으로 소프트웨어 패키지를 관리하고자 한다.