Metadata
Author: WikiMatrix
Data
English[en]
Both Meyer, and later Pierre America, who was the first to use the term behavioral subtyping, gave proof-theoretic definitions of some behavioral subtyping notions, but their definitions did not take into account aliasing that may occur in programming languages that support references or pointers.
Korean[ko]
메이어와 이후에 '행동의 하위형'이라는 용어를 처음 사용한 피에르 아메리카 모두 임의의 행동의 하위형 개념에 대한 증명 이론적 정의를 제공했으나, 참조나 포인터를 지원하는 프로그래밍 언어에서 일어날 수 있는 별칭에 대한 고려는 없었다.