Verification of Java programs in type theory with dependent record types and coercive subtyping

Bibliographic Details
Main Author:	Han, Seokhyun
Published:	Royal Veterinary College (University of London) 2010
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.531307

id	ndltd-bl.uk-oai-ethos.bl.uk-531307
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-5313072015-03-20T05:31:42ZVerification of Java programs in type theory with dependent record types and coercive subtypingHan, Seokhyun2010005.3Royal Veterinary College (University of London)http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.531307Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	005.3
spellingShingle	005.3 Han, Seokhyun Verification of Java programs in type theory with dependent record types and coercive subtyping
author	Han, Seokhyun
author_facet	Han, Seokhyun
author_sort	Han, Seokhyun
title	Verification of Java programs in type theory with dependent record types and coercive subtyping
title_short	Verification of Java programs in type theory with dependent record types and coercive subtyping
title_full	Verification of Java programs in type theory with dependent record types and coercive subtyping
title_fullStr	Verification of Java programs in type theory with dependent record types and coercive subtyping
title_full_unstemmed	Verification of Java programs in type theory with dependent record types and coercive subtyping
title_sort	verification of java programs in type theory with dependent record types and coercive subtyping
publisher	Royal Veterinary College (University of London)
publishDate	2010
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.531307
work_keys_str_mv	AT hanseokhyun verificationofjavaprogramsintypetheorywithdependentrecordtypesandcoercivesubtyping
_version_	1716792289339113472

Verification of Java programs in type theory with dependent record types and coercive subtyping

Similar Items