|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H22) (Jun.2010 - Mar.2011 >
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10119/9639
|
| Title: | Verifying the Correctness of Compiler for an Imperative Programming Language |
| Authors: | Trinh, Bao Ngoc Quoc |
| Authors(alternative): | トリン, バオ ノン クォック |
| Keywords: | ADS
CafeOBJ
Minila
compiler
semantic preservation
correctness
Environment
veri cation
proof score |
| Issue Date: | Mar-2011 |
| Description: | Supervisor: Professor Futatsugi Kokichi
School of Information
Master Course |
| Title(English): | Verifying the Correctness of Compiler for an Imperative Programming Language |
| Authors(English): | Trinh, Bao Ngoc Quoc |
| Language: | eng |
| URI: | https://hdl.handle.net/10119/9639 |
| Appears in Collections: | M-IS. 2010年度(H22) (Jun.2010 - Mar.2011)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| abstract.pdf | | 77Kb | Adobe PDF | View/Open | | paper.pdf | | 1890Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
