Thesis or Dissertation An Integrated Theory of Type-Based Static and Dynamic Verification

Sekiyama, Taro

2016-03-23 , Kyoto University
Description
© 2015 Springer. http://dx.doi.org/10.1007/978-3-319-26529-2_11© 2015 ACM, Inc. http://doi.acm.org/10.1145/2676726.2676996
新制・課程博士
甲第19863号
情博第614号
Full-Text

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/215690/1/yjohk00614.pdf

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/215690/2/djohk00614.pdf

Number of accesses :  

Other information