DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Journal Papers(저널논문)

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

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 830
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.author이철우ko
dc.contributor.author윤정한ko
dc.contributor.author한태숙ko
dc.contributor.author최광무ko
dc.contributor.author김철주ko
dc.date.accessioned2013-03-12T08:13:39Z-
dc.date.available2013-03-12T08:13:39Z-
dc.date.created2012-07-03-
dc.date.created2012-07-03-
dc.date.issued2010-11-
dc.identifier.citation정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.16, no.11, pp.1136 - 1140-
dc.identifier.issn1229-7712-
dc.identifier.urihttp://hdl.handle.net/10203/101745-
dc.description.abstractEsterel 언어는 동기(synchronous)식 절차(imperative)형 언어로 유한 상태 기계(finite state machine)를 기반으로 한 정형적 의미구조를 가지고 있어 오토마타를 이용한 프로그램 분석에 매우 용이하다. 본 논문에서는 프로그램의 수행 과정이 필요 없는 문법 구조 바탕의 오토마타 생성 규칙을 제안한다. 우리의 생성 규칙은 문법 구조를 직관적으로 표현하고 모든 가능한 경로를 나타내기 때문에 다양한 분석을 적용하기에 적합하다.-
dc.languageKorean-
dc.publisher한국정보과학회-
dc.titleEsterel 문법구조 바탕의 오토마타 생성-
dc.title.alternativeSyntax-driven Automata Generation for Esterel-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume16-
dc.citation.issue11-
dc.citation.beginningpage1136-
dc.citation.endingpage1140-
dc.citation.publicationname정보과학회논문지 : 컴퓨팅의 실제 및 레터-
dc.identifier.kciidART001494352-
dc.contributor.localauthor한태숙-
dc.contributor.localauthor최광무-
dc.contributor.nonIdAuthor이철우-
dc.contributor.nonIdAuthor윤정한-
dc.contributor.nonIdAuthor김철주-
dc.subject.keywordAuthorEsterel-
dc.subject.keywordAuthorAutomata-
dc.subject.keywordAuthorEsterel-
dc.subject.keywordAuthor오토마타-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0