Esterel 문법구조 바탕의 오토마타 생성Syntax-driven Automata Generation for Esterel

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 857
  • Download : 0
Esterel 언어는 동기(synchronous)식 절차(imperative)형 언어로 유한 상태 기계(finite state machine)를 기반으로 한 정형적 의미구조를 가지고 있어 오토마타를 이용한 프로그램 분석에 매우 용이하다. 본 논문에서는 프로그램의 수행 과정이 필요 없는 문법 구조 바탕의 오토마타 생성 규칙을 제안한다. 우리의 생성 규칙은 문법 구조를 직관적으로 표현하고 모든 가능한 경로를 나타내기 때문에 다양한 분석을 적용하기에 적합하다.
Publisher
한국정보과학회
Issue Date
2010-11
Language
Korean
Citation

정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140

ISSN
1229-7712
URI
http://hdl.handle.net/10203/101745
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0