Proving FFMM type safety using coq = Coq을 이용한 FFMM의 타입 안전성 증명

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 222
  • Download : 0
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

URI
http://hdl.handle.net/10203/180542
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=482829&flag=dissertation
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0