Design Principles for Machine-Description Languages

View PDF

Download Links

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

Documents Related by Co-Citation

618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
79 Term Graph Rewriting – Detlef Plump - 1998
70 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
38 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
13 Jungle evaluation for efficient term rewriting – Berthold Hoffmann, Detlef 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