Design Principles for Machine-Description Languages

Design Principles for Machine-Description Languages

Cached

Download Links

[eecs.harvard.edu]

by Norman Ramsey , Jack W. Davidson , Mary F. Fernandez

Citations:

1 - 0 self

BibTeX

@MISC{Ramsey_designprinciples,
    author = {Norman Ramsey and Jack W. Davidson and Mary F. Fernandez},
    title = {Design Principles for Machine-Description Languages},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

1016	Proof-carrying code - Necula - 1997
874	A theory of type polymorphism in programming - Milner - 1978
627	Efficient software-based fault isolation - Wahbe, Lucco, et al. - 1993
573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
557	From system F to typed assembly language - Morrisett, Walker, et al. - 1999
347	Dynamo: a transparent dynamic optimization system - Bala, Duesterwald, et al.
315	Shade: A Fast Instruction-Set Simulator for Execution Profiling - Cmelik, Keppel - 1994
269	Purify: Fast Detection of Memory Leaks and Access Errors - Hastings, Joyce - 1992
254	EEL: Machine-Independent Executable Editing - Larus, Schnarr - 1995
149	A portable global optimizer and linker - Benitez, Davidson - 1988
143	Using the SimOS Machine Simulator to Study Complex Computer Systems - Rosenblum, Bugnion, et al. - 1997
102	Instrumentation and Optimization of Win32/Intel Executables using Etch - Romer, Volker, et al. - 1997
95	Report on Haskell 98: A non-strict, purely functional language - Jones, Hughes - 1999
88	Binary translation - Sites, Chernoff, et al. - 1992
83	ISDL An Instruction set Description Language for Retargetability - Hadjiyiannis, H, et al. - 1997
82	A retargetable technique for predicting execution time of code segments. Real-Time Systems - Harmon, Baker, et al. - 1994
74	Compiling pattern-matching - Augustsson - 1985
74	Describing Instruction set Processors Using nML - Fauth, Praet, et al. - 1995
67	VHDL: Hardware Description and Design - Lipsett, Schaeffer, et al. - 1990
64	BEG - A Generator for Efficient Back Ends - Emmelmann, Schrer, et al. - 1989
61	Sparc Architecture Manual, Version 8 - Microsystems, Inc - 1989
59	Specifying representations of machine instructions - Ramsey, Fernández - 1997
58	Computer structures: Reading and examples - Bell, Newell - 1996
58	Compiling a functional language - Cardelli - 1984
47	Using term rewriting systems to design and verify processors - Arvind, Shen - 1999
43	A retargetable debugger - Ramsey, Hanson - 1992
42	The Marion system for retargetable instruction scheduling - Bradlee, Henry, et al. - 1991
38	BURG—fast optimal instruction selection and tree parsing - Fraser, Henry, et al. - 1992
34	Automatic derivation of code generators from machine descriptions - Cattell - 1980
28	A formal model and specification language for procedure calling conventions - Bailey, Davidson - 1995
18	Scripting COM components in Haskell - JONES, MEIJER, et al. - 1998
15	Instruction Scheduling and Executable Editing - Schnarr, Larus - 1996
14	An experiment in table driven code generators - Graham, Henry, et al. - 1982
14	Why functional programming matters. The computer journal - Hughes - 1989
12	A Functional Specification Language for Instruction Set Architectures - Cook, Harcourt - 1994
12	Comparison of priority rules in pattern matching and term rewriting - Laville - 1991
12	Pragmatic subtyping in polymorphic languages - Nordlander - 1998
12	A simple solver for linear equations containing nonlinear operators - Ramsey - 1996
11	A Retargetable Optimizing Linker - Fernández - 1995
11	Using and Porting GNU CC (Version 2.0). Free Software Foundation - Stallman - 1992
10	Simplifying Code Generation Through Peephole Optimizations - Davidson - 1981
8	Compiling lazy pattern matching - Maranget - 1992
7	Experience with a Graham-Glanville style code generator - Aigrain, Graham, et al. - 1984
7	Generating machine specific optimizing compilers - Hoover, Zadeck - 1996
6	Automatic Checking of Instruction Specifications - Ramsey, Fernández - 1997
6	The Icon Programming Language. Third edition - Griswold, Griswold - 1996
6	Pipeline descriptions for retargetable compilers: A decoupled approach - Milner - 1998
6	Techniques for fast instruction cache performance evaluation - Whalley - 1993
5	A Comparison of Register Transfer Languages for Describing Computers and Digital Systems - Barbacci - 1975
5	The Verilog Hardware Description Language. 2nd edition - Thomas, Moorby - 1995