Korean Conference

박경숙, 홍대식, 이경환, 'Variable-Usage Petri-Net에 의한 Program Transformation 시스템 설계 및 구현에 관한 연구', 1987

[한국정보화학회]
Manager 조회 18674
Status : Presented 
Date : 1987 
Title : Variable-Usage Petri-Net에 의한 Program Transformation 시스템 설계 및 구현에 관한 연구 
Authors : 박경숙, 홍대식, 이경환 
Conference : 한국정보화학회 가을 학술발표회문집 14권 2호 
Abstract : 본 논문에서는 존재하고 있는 program을 보다 더 간단하고, 더 능률적이며, 더 신뢰할 수 있고 정확한 결과를 산출할 수 있는 program으로 변환함으로써, program의 품질을 향상시킬 수 있는 자동 변환 시스템을 설계하고 구현하였다. 이 자동변환시스템은 FORTRAN 77 program을 입력으로 받아들여 변수의 용도를 체크해서 변수 및 문장을 변환시키는데 사용할 수 있다. 이 시스템에서 사용된 이론은 Graph 이론과 Petri-net 이론을 확장시킨 Variable-Usage Petri-Net(VUPN)이며, VUPN을 작성하는 Algorithm과 VUPN을 합성하는 Algorithm을 제시하였다. 
URL : http://mirinae.yonsei.ac.kr//?module=fil...601b7c1c21 
 
Attachment
List of Articles
No.
Statussort Date
6 [한국정보화학회] 김상근, 홍대식, 이경환, '규칙 종속 그래프 생성기의 설계 및 구현', 1988 file Presented  1988 
5 [한국정보화학회] 서홍석, 홍대식, 이경환, '프로그램 변환 시스템의 무한 재생 변환 검출을 위한 IRD 시스템의 설계 및 구현', 1988 file Presented  1988 
4 [한국정보화학회] 홍찬기, 홍대식, 이경환, 'S/W 재구성을 위한 Rule-based 시스템의 설계 및 구현', 1988 file Presented  1988 
3 [한국정보화학회] 이인용, 홍대식, 이경환, '포트란 프로그램의 품질 향상을 위한 SYNTACTIC 변환 시스템의 설계 및 구현에 관한 연구', 1987 file Presented  1987 
2 [한국정보화학회] 전선희, 홍대식, 이경환, 'Software Understandability의 향상을 위한 시스템의 설계 및 구현에 관한 연구', 1987 file Presented  1987 
» [한국정보화학회] 박경숙, 홍대식, 이경환, 'Variable-Usage Petri-Net에 의한 Program Transformation 시스템 설계 및 구현에 관한 연구', 1987 file Presented  1987 
List