An informal definition of Alphard (Preliminary)

Hilfinger, Paul N.; Feldman, Gary; Fitzgerald, Robert; Kimura, Izumi

doi:10.1184/R1/6603332.v1

file.pdf (1.86 MB)

Download file

An informal definition of Alphard (Preliminary)

journal contribution

posted on 2015-01-01, 00:00 authored 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

2015-01-01

Usage metrics

Keywords

Alphard (Computer program language)

Licence

In Copyright

An informal definition of Alphard (Preliminary)

History

Publisher Statement

Date

Usage metrics

Categories

Keywords

Licence

Exports