Bailey, Mark W. and Jack W. Davidson. 1995 (January). A formal model and specification language for procedure calling conventions. In Conference Record of the 22nd Annual ACM Symposium on Principles of Programming Languages, pages 298--310, San Francisco, CA.
--------. 1996 (May). Target-sensitive construction of diagnostic programs for procedure calling sequence generators. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 31(5):249--257.
Bala, Vasanth and Norman Rubin. 1995 (November 29--December 1,). Efficient instruction scheduling using finite state automata. In Proceedings of the 28th Annual International Symposium on Microarchitecture, pages 46--56, Ann Arbor, Michigan.
Benitez, Manuel E. and Jack W. Davidson. 1988 (July). A portable global optimizer and linker. Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 23(7):329--338.
Davidson, Jack W. and Christopher W. Fraser. 1980 (April). The design and application of a retargetable peephole optimizer. ACM Transactions on Programming Languages and Systems, 2(2):191--202.
Emmelmann, Helmut, Friedrich-Wilhelm Schröer, and Rudolf Landwehr. 1989 (July). BEG --- a generator for efficient back ends. Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 24(7):227--237.
Fauth, Andreas, Johan Van Praet, and Markus Freericks. 1995 (March). Describing instruction set processors using nML. In The European Design and Test Conference, pages 503--507.
Fernández, Mary F. 1995 (November). A Retargetable Optimizing Linker. PhD thesis, Dept of Computer Science, Princeton University.
Fraser, Christopher W., Robert R. Henry, and Todd A. Proebsting. 1992 (April). BURG---fast optimal instruction selection and tree parsing. SIGPLAN Notices, 27(4):68--76.
Griswold, Ralph E. 1982 (October). The evaluation of expressions in Icon. ACM Transactions on Programming Languages and Systems, 4(4):563--584.
Intel Corporation. 1993. Architecture and Programming Manual. Vol. 3 of Pentium Processor User's Manual. Mount Prospect, IL.
Larus, James R. and Eric Schnarr. 1995 (June). EEL: machine-independent executable editing. Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 30(6):291--300.
Larus, James R. 1990 (September). SPIM S20: A MIPS R2000 simulator. Technical Report 966, Computer Sciences Department, University of Wisconsin, Madison, WI.
Lipsett, R., C. Schaefer, and C. Ussery. 1993. VHDL: Hardware Description and Design. 12 edition. Kluwer Academic Publishers.
Milner, Robin, Mads Tofte, and Robert W. Harper. 1990. The Definition of Standard ML. Cambridge, Massachusetts: MIT Press.
Milner, Robin. 1978 (December). A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348--375.
Morrisett, Greg. 1995 (December). Compiling with Types. PhD thesis, Carnegie Mellon. Published as technical report CMU--CS--95--226.
Proebsting, Todd A. and Christopher W. Fraser. 1994 (January). Detecting pipeline structural hazards quickly. In Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages, pages 280--286, Portland, OR.
Ramsey, Norman and Mary F. Fernández. 1997 (May). Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, 19(3):492--524.
Ramsey, Norman and David R. Hanson. 1992 (July). A retargetable debugger. ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 27(7):22--31.
Ramsey, Norman. 1994 (September). Literate programming simplified. IEEE Software, 11(5):97--105.
--------. 1996 (April). A simple solver for linear equations containing nonlinear operators. Software---Practice &Experience, 26(4):467--487.
SPARC International. 1992. The SPARC Architecture Manual, Version 8. Englewood Cliffs, NJ: Prentice Hall.
Srivastava, Amitabh and Alan Eustace. 1994 (June). ATOM: A system for building customized program analysis tools. Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, 29(6):196--205.
Stallman, Richard M. 1992 (February). Using and Porting GNU CC (Version 2.0). Free Software Foundation.
Thomas, Donald and Philip Moorby. 1995. The Verilog Hardware Description Language. 2nd edition. Norwell, USA: Kluwer Academic Publishers.
Thompson, T. 1996 (February). An Alpha in PC clothing. Byte, pages 195--196.
Wang, Daniel C., Andrew W. Appel, Jeff L. Korn, and Christopher S. Serra. 1997 (October). The Zephyr abstract syntax description language. In Proceedings of the 2nd USENIX Conference on Domain-Specific Languages, pages 213--227, Santa Barbara, CA.