An Automatically Retargetable Microcode Compiler.

@inproceedings{DBLP:conf/er/Atkins83,
  author    = {Richard Atkins},
  editor    = {Carl G. Davis and
               Sushil Jajodia and
               Peter A. Ng and
               Raymond T. Yeh},
  title     = {An Automatically Retargetable Microcode Compiler},
  booktitle = {Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach
               (ER'83)},
  publisher = {North-Holland},
  year      = {1983},
  isbn      = {0-444-86777-5},
  pages     = {823-836},
  ee        = {db/conf/er/Atkins83.html},
  crossref  = {DBLP:conf/er/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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

• 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

References

[1]

...

[2]

Takanobu Baba, Hiroshi Hagiwara: The MPG System: A Machine-Independent Efficient Microprogram Generator. IEEE Trans. Computers 30(6): 373-395(1981) BibTeX

[3]

...

[4]

...

[5]

Subrata Dasgupta: Some Aspects of High-Level Microprogramming. ACM Comput. Surv. 12(3): 295-323(1980) BibTeX

[6]

John L. Gieser: On Horizontally Microprogrammed Microarchitecture Description Techniques. IEEE Trans. Software Eng. 8(5): 513-525(1982) BibTeX

[7]

...

[8]

...

[9]

...

[10]

Perng-Yi Richard Ma, Ted G. Lewis: On the Design of a Microcode Compiler for a Machine-Independent High-Level Language. IEEE Trans. Software Eng. 7(3): 261-274(1981) BibTeX

[11]

...

[12]

...

[13]

...

[14]

David A. Patterson: Strum: Structured Microprogram Development System for Correct Firmware. IEEE Trans. Computers 25(10): 974-985(1976) BibTeX

[15]

David A. Patterson: An Experiment in High Level Language Microprogramming and Verification. Commun. ACM 24(10): 699-709(1981) BibTeX

[16]

...

[17]

...

[18]

...

[19]

...

[20]

...