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

Harold W. Noffke: HOL-to-Microcode Compilers: An Air Force Perspective. ER 1983: 815-822
  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
  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,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


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'.


ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ER 1983 Proceedings: Copyright by ER Institute, ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:09:37 2009