Designing a verifying compiler: Lessons learned from developing Whiley release_epbssye4uncdvk5pk74epbyeay

by David J. Pearce, Lindsay Groves

Published in Science of Computer Programming by Elsevier BV.

2015   Volume 113, p191-220

Archived Files and Locations

application/pdf  1.6 MB
file_mw7zxk63brc25c7fvh7hpykxum
web.archive.org (webarchive)
homepages.ecs.vuw.ac.nz (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2015
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0167-6423
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d6d0ec1a-b120-4dbd-94f1-1f86686fd2d6
API URL: JSON