transitional semantics

댓글 1개

이

이광근/YiKwangkeun·실행발자국 의미구조, 실행스텝 의미구조·한 달 전

"전이 의미구조"는 딱딱하고요. 작은보폭으로 프로그램 실행의미를 한스텝 한스텝 정의하는 방식이므로. 그래서 transition sequence = "실행발자국" (줄을 굳이 표현안해도 될듯)

검색창