발표 정보 등록

등록 양식

발표자:	Jay Lee
날짜:	2026-04-24
제목:
요약:
어떤 S언어의 분석기는 S언어로 짠 T언어 실행기에 대해 부분실행해서, T언어 분석기로 재조준할 수 있습니다. 이번 발표에서는, S언어의 실행 발자국에서 T언어의 실행 발자국을 꺼내오는 과정을 보여드립니다. S언어의 작은보폭 실행의미구조를 담은 CEK 실행기계 위에서, (S언어로 짠) T언어 실행기가 T프로그램을 돌리는 실행 발자국으로부터 T언어의 실행 발자국을 꺼내올 수 있습니다. 이를 통해 T언어 요약실행을 위한 T프로그램의 성질을 다시 S언어의 실행발자국에서 찾는 방법을 알아볼 수 있습니다.
메모:	등록된 메모가 없습니다.
메모 파일 크기 제한: 메모 파일의 크기가 2MB보다 크면 웹에서의 업로드가 제한됩니다. 그럴 경우 해당 디렉토리에 파일(`YYMMDD_ID.pdf`)을 직접 복사해 주세요. 예) `snt_memo2/151225_skcho.pdf`