Proving FFMM type safety using coqCoq을 이용한 FFMM의 타입 안전성 증명
- Advisors
- Ryu Suk-youngresearcher; 류석영
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 2011
- Identifier
- 482829/325007 / 020094147
- Language
- eng
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 2011.8, [ v, 31 p. ]
- Keywords
Fortress; Coq; multiple dispatch; multiple inheritance; Coq 증명 보조 도구; Fotress 프로그래밍 언어; 여러 함수 인자의 동적 정보를 참고한 실행 함수 할당 방식; 다중 상속; 타입 시스템; type system
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.