file.pdf (1.86 MB)
Download file

An informal definition of Alphard (Preliminary)

Download (1.86 MB)
journal contribution
posted on 01.01.2015, 00:00 by Paul N. Hilfinger, Gary Feldman, Robert Fitzgerald, Izumi Kimura
Computer Science Department

History

Publisher Statement

© ACM, 2015. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published at http://doi.acm.org/10.1145/2688073.2688098

Date

01/01/2015

Usage metrics

Exports