상세 보기
초록
프로그램 신뢰성을 높이기 위한 방법 중 하나로 쓰이는 것이 명세 된 언어의 검증이다. 명세 된 언 어를 검증하기 위해 소스 프로그램을 논리식으로 바꾸어 검증하는 방법을 사용한다. 소스 프로그램 뿐 만 아니라 바이트코드 역시 프로그램 신뢰성을 높이기 위해서 검증이 필요하다. 본 논문에서는 바이트 코드의 검증을 위해 바이트코드의 정보를 가지고 있는 중간언어의 verification condition을 생성하는 방 법을 보인다
- 제목
- 중간언어의 VC 생성을 통한 바이트코드 검증
- 제목 (타언어)
- Verification of Bytecode by Generating Verification Condition for Intermediate Language
- 저자
- WEON HEE YOO
- 학회명
- 제35회 한국정보처리학회 춘계학술발표대회
- 개최지
- 제주대학교 아라캠퍼스
- 학회 개최일
- 2011-05-13 ~ 2011-05-14