코멘트 등록

모든 코멘트는 발표 전날 18:00에 이메일로 공지됩니다. 그 전까지는 다른 사람의 코멘트를 볼 수 없습니다. 소신껏 코멘트해 주시길 바랍니다.

괄호 안의 사람들이 코멘터입니다.

등록 양식

발표자:	Jay Lee
날짜:	2026-04-24
제목:	분석기 재조준: S언어의 실행 발자국에서 T언의 실행 발자국으로
요약:
어떤 S언어의 분석기는 S언어로 짠 T언어 실행기에 대해 부분실행해서, T언어 분석기로 재조준할 수 있습니다. 이번 발표에서는, S언어의 실행 발자국에서 T언어의 실행 발자국을 꺼내오는 과정을 보여드립니다. S언어의 작은보폭 실행의미구조를 담은 CEK 실행기계 위에서, (S언어로 짠) T언어 실행기가 T프로그램을 돌리는 실행 발자국으로부터 T언어의 실행 발자국을 꺼내올 수 있습니다. 이를 통해 T언어 요약실행을 위한 T프로그램의 성질을 다시 S언어의 실행발자국에서 찾는 방법을 알아볼 수 있습니다.
메모:	등록된 메모가 없습니다.
코멘트: