Design Principles for Machine-Description Languages

Cached

Download Links

by Norman Ramsey , Jack W. Davidson , Mary F. Fernandez
Citations:1 - 0 self

Documents Related by Co-Citation

3 Andre Seznec, Gwendal Le Fol, Francois Charot, and Frederic Raimbault. SALTO: System for assembly-language transformation and optimization – Erven Rohou, Francois Bodin - 1996
12 Jungle Evaluation for Efficient Term Rewriting – B Hoffmann, D Plump - 1988
6 Functorial Semantics for Multi-algebras – Andrea Corradini, Fabio Gadducci - 1998
5 Refinement and development of programs from relational specifications – W Kahl - 2001
5 Term Graph Syntax for Multi-Algebras – A. Corradini, F. Gadducci, W. Kahl - 2000
4 embeddable design method for spiral magnetic resonance image reconstruction resampling kernels. Optimization and Engineering 2004;5(4):485–502 – Anand CK, T Terlaky, Wang B Rapid
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
72 Term Graph Rewriting – Detlef Plump - 1998
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
67 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999