관계형 객체 불변성의 자동 추론

객체의 필드 간 관계적 속성을 나타내는 객체 불변성을 자동으로 추론하기 위해 새로운 메모리 모델(RUMM)과 추상 영역(MRUD) 기반의 정적 분석 기술을 제시합니다.