Pushing the Limits of Compiler Verification
(Q113668323)
doctoral thesis by Eric Alexander Mullen, Computer Science & Engineering, University of Washington, 2018
doctoral thesis by Eric Alexander Mullen, Computer Science & Engineering, University of Washington, 2018
Language:
Current Data About
Pushing the Limits of Compiler Verification
| (P31) |
(Q187685)
|
||||||||||
| (P50) |
(Q113667744)
|
||||||||||
| (P407) |
(Q1860)
|
||||||||||
| (P571) |
+2018-00-00T00:00:00Z
|
||||||||||
| (P953) |
http://hdl.handle.net/1773/42269
|
||||||||||
| (P1104) |
86
6
|
||||||||||
| (P1476) |
"Pushing the Limits of Compiler Verification" (language: en)
|
||||||||||
| (P4101) |
(Q219563)
|
||||||||||
| (P5008) |
(Q98970039)
|
||||||||||
| (P9161) |
(Q102416974)
(Q102425786)
|
other details
| description | doctoral thesis by Eric Alexander Mullen, Computer Science & Engineering, University of Washington, 2018 |
External Links
| (P243) |
1082144169
|
| (P1184) |
1773/42269
|