HOL-to-Microcode Compilers: An Air Force Perspective.

Harold W. Noffke: HOL-to-Microcode Compilers: An Air Force Perspective. ER 1983: 815-822

@inproceedings{DBLP:conf/er/Noffke83,
  author    = {Harold W. Noffke},
  editor    = {Carl G. Davis and
               Sushil Jajodia and
               Peter A. Ng and
               Raymond T. Yeh},
  title     = {HOL-to-Microcode Compilers: An Air Force Perspective},
  booktitle = {Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach
               (ER'83)},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86777-5},
  pages     = {815-822},
  ee        = {db/conf/er/Noffke83.html},
  crossref  = {DBLP:conf/er/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An2-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Erratum

The author of the paper 'HOL to Microcode Compilers: An Air Force Perspective', wishes to clearly state that this paper does NOT represent official Air Force policy. The paper presents only the opinions of a technical expert who happens to work for the Air Force. Wherever the words 'Air Force' appear in this paper, the word 'military' should be substituted in their place. Thus, the title of this paper should be read as: 'HCL to Microcode Compilers: A Military Perspective'.

References

[1]: ...
[2]: ...
[3]: ...

Last update Thu May 24 04:17:04 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page