Proving FFMM type safety using coqCoq을 이용한 FFMM의 타입 안전성 증명
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Ryu Suk-young | - |
| dc.contributor.advisor | 류석영 | - |
| dc.contributor.author | Kim Ji-Eung | - |
| dc.contributor.author | 김지응 | - |
| dc.date.accessioned | 2013-09-12T01:50:57Z | - |
| dc.date.available | 2013-09-12T01:50:57Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=482829&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/180542 | - |
| dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 2011.8, [ v, 31 p. ] | - |
| dc.language | eng | - |
| dc.publisher | 한국과학기술원 | - |
| dc.subject | Fortress | - |
| dc.subject | Coq | - |
| dc.subject | multiple dispatch | - |
| dc.subject | multiple inheritance | - |
| dc.subject | Coq 증명 보조 도구 | - |
| dc.subject | Fotress 프로그래밍 언어 | - |
| dc.subject | 여러 함수 인자의 동적 정보를 참고한 실행 함수 할당 방식 | - |
| dc.subject | 다중 상속 | - |
| dc.subject | 타입 시스템 | - |
| dc.subject | type system | - |
| dc.title | Proving FFMM type safety using coq | - |
| dc.title.alternative | Coq을 이용한 FFMM의 타입 안전성 증명 | - |
| dc.type | Thesis(Master) | - |
| dc.identifier.CNRN | 482829/325007 | - |
| dc.description.department | 한국과학기술원 : 전산학과, | - |
| dc.identifier.uid | 020094147 | - |
| dc.contributor.localauthor | Ryu Suk-young | - |
| dc.contributor.localauthor | 류석영 | - |
- 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.