발표 정보 등록

등록 양식

발표자:	Joongwon Ahn
날짜:	2026-05-08
제목:
요약:
분석기 재활용은 출발 언어로 짠 도착 언어 실행기를 출발 언어 분석기로 분석하여 도착 언어 프로그램을 간접적으로 분석하는 방법입니다. 이번 발표에서는 출발 언어의 발자국 실행의미와 그 요약 의미를 소개하고, 이를 바탕으로 도착 언어 프로그램을 원하는 정확도로 분석하기 위해 출발 언어 요약 의미 정확도를 어떻게 조절할 수 있는지 보여드리겠습니다.
메모:	등록된 메모가 없습니다.
메모 파일 크기 제한: 메모 파일의 크기가 2MB보다 크면 웹에서의 업로드가 제한됩니다. 그럴 경우 해당 디렉토리에 파일(`YYMMDD_ID.pdf`)을 직접 복사해 주세요. 예) `snt_memo2/151225_skcho.pdf`