홈으로

코멘트 등록

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

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

등록 양식

발표자: Joongwon Ahn
날짜: 2026-05-08
제목: 분석기 재활용을 위한 발자국 실행의미 요약 정확도 조절
요약:
분석기 재활용은 출발 언어로 짠 도착 언어 실행기를 출발 언어 분석기로 분석하여 도착 언어 프로그램을 간접적으로 분석하는 방법입니다. 이번 발표에서는 출발 언어의 발자국 실행의미와 그 요약 의미를 소개하고, 이를 바탕으로 도착 언어 프로그램을 원하는 정확도로 분석하기 위해 출발 언어 요약 의미 정확도를 어떻게 조절할 수 있는지 보여드리겠습니다.
메모: 등록된 메모가 없습니다.
코멘트:

쇼앤텔 일정

SoFA