[이은서_]

k-- 스펙에서 callr을 할 때 f<x>식으로 되어 있는데, 여기서 x가 identifier로 정의되어 있습니다.
identifier에 짝지을 수 있는 것은 addr과 proc이 있는데 여기서 identifier x에 Proc이 바인드 되어 있는 것이 함수의 인자로 올 수 있나요?
아니면 반드시 addr과 바인드 된 것만 인자로 오나요?

[이은서_]

k-스펙에서는 callr의 경우 identifier가 반드시 addr과 바인드 된다는 조건이 있었던 것으로 기억합니다. k--에도 해당이 되는 것인가요?

[최재승]

네, K-- 에서도 CALLR의 semantics에서, σ(y)는 항상 메모리 주소(K-- 문서의 "Addr", 뼈대 코드의 "Loc.t")에만 묶여 있어야 합니다.

K- 문서만 수정하고 K-- 문서를 수정하는 것을 깜박했네요. 문서의 해당 부분을 수정하였습니다.

조교 드림