Verification of Java programs in type theory with dependent record types and coercive subtyping
Main Author: | |
---|---|
Published: |
Royal Veterinary College (University of London)
2010
|
Subjects: | |
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 |