SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Norman Ramsey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

João Dias, Norman Ramsey
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. [Citation Graph (0, 0)][DBLP]
CC, 2006, pp:217-231 [Conf]
Christian Lindig, Norman Ramsey
Declarative Composition of Stack Frames. [Citation Graph (0, 0)][DBLP]
CC, 2004, pp:298-312 [Conf]
Kevin Redwine, Norman Ramsey
Widening Integer Arithmetic. [Citation Graph (0, 0)][DBLP]
CC, 2004, pp:232-249 [Conf]
Sukyoung Ryu, Norman Ramsey
Source-Level Debugging for Multiple Languages with Modest Programming Effort. [Citation Graph (0, 0)][DBLP]
CC, 2005, pp:10-26 [Conf]
Norman Ramsey, Kathleen Fisher, Paul Govereau
An expressive language of signatures. [Citation Graph (0, 0)][DBLP]
ICFP, 2005, pp:27-40 [Conf]
Norman Ramsey, Simon L. Peyton Jones
The C - compiler infrastructure. [Citation Graph (0, 0)][DBLP]
ICFP, 2004, pp:1- [Conf]
Mary F. Fernandez, Norman Ramsey
Automatic Checking of Instruction Specifications. [Citation Graph (0, 0)][DBLP]
ICSE, 1997, pp:326-336 [Conf]
Norman Ramsey, Jack W. Davidson
Machine Descriptions to Build Tools for Embedded Systems. [Citation Graph (0, 0)][DBLP]
LCTES, 1998, pp:176-192 [Conf]
Norman Ramsey
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. [Citation Graph (0, 0)][DBLP]
PADL, 2005, pp:1-4 [Conf]
Norman Ramsey
Relocating Machine Instructions by Currying. [Citation Graph (0, 0)][DBLP]
PLDI, 1996, pp:226-236 [Conf]
Norman Ramsey, David R. Hanson
A Retargetable Debugger. [Citation Graph (0, 0)][DBLP]
PLDI, 1992, pp:22-31 [Conf]
Norman Ramsey, Simon L. Peyton Jones
A single intermediate language that supports multiple implementations of exceptions. [Citation Graph (0, 0)][DBLP]
PLDI, 2000, pp:285-298 [Conf]
Michael D. Smith, Norman Ramsey, Glenn H. Holloway
A generalized algorithm for graph-coloring register allocation. [Citation Graph (0, 0)][DBLP]
PLDI, 2004, pp:277-288 [Conf]
Reuben Olinsky, Christian Lindig, Norman Ramsey
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. [Citation Graph (0, 0)][DBLP]
POPL, 2006, pp:409-421 [Conf]
Norman Ramsey
Correctness of Trap-Based Breakpoint Implementations. [Citation Graph (0, 0)][DBLP]
POPL, 1994, pp:15-24 [Conf]
Norman Ramsey, Avi Pfeffer
Stochastic lambda calculus and monads of probability distributions. [Citation Graph (0, 0)][DBLP]
POPL, 2002, pp:154-165 [Conf]
Simon L. Peyton Jones, Norman Ramsey, Fermin Reig
C--: A Portable Assembly Language that Supports Garbage Collection. [Citation Graph (0, 0)][DBLP]
PPDP, 1999, pp:1-28 [Conf]
Norman Ramsey
Pragmatic Aspects of Reusable Program Generators. [Citation Graph (0, 0)][DBLP]
SAIG, 2000, pp:149-171 [Conf]
Norman Ramsey, Elöd Csirmaz
An algebraic approach to file synchronization. [Citation Graph (0, 0)][DBLP]
ESEC / SIGSOFT FSE, 2001, pp:175-185 [Conf]
Norman Ramsey, Mary F. Fernandez
The New Jersey Machine-Code Toolkit. [Citation Graph (0, 0)][DBLP]
USENIX Winter, 1995, pp:289-302 [Conf]
Cristina Cifuentes, Mike Van Emmerik, Norman Ramsey
The Design of a Resourceable and Retargetable Binary Translator. [Citation Graph (0, 0)][DBLP]
WCRE, 1999, pp:280-291 [Conf]
Christopher J. Van Wyk, Norman Ramsey
Waving A Language-Independent WEB. [Citation Graph (0, 0)][DBLP]
Commun. ACM, 1989, v:32, n:9, pp:1051-1055 [Journal]
Norman Ramsey
Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
Comput. J., 1999, v:42, n:5, pp:360-372 [Journal]
Norman Ramsey
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:181-209 [Journal]
Norman Ramsey, João Dias
An Applicative Control-Flow Graph Based on Huet's Zipper. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:105-126 [Journal]
Norman Ramsey
Pragmatic aspects of reusable program generators. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 2003, v:13, n:3, pp:601-646 [Journal]
Norman Ramsey
LATEX Support for Proceedings. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 2002, v:37, n:4, pp:1-3 [Journal]
Norman Ramsey, Kevin Scott
The 1999 ICFP Programming Contest. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 2000, v:35, n:3, pp:73-83 [Journal]
Norman Ramsey
Literate Programming Simplified. [Citation Graph (0, 0)][DBLP]
IEEE Software, 1994, v:11, n:5, pp:97-105 [Journal]
Norman Ramsey
A Simple Solver for Linear Equations Containing Nonlinear Operators. [Citation Graph (0, 0)][DBLP]
Softw., Pract. Exper., 1996, v:26, n:4, pp:467-487 [Journal]
Norman Ramsey
Unparsing Expressions with Prefix and Postfix Operators. [Citation Graph (0, 0)][DBLP]
Softw., Pract. Exper., 1998, v:28, n:12, pp:1327-1356 [Journal]
Norman Ramsey, Carla Marceau
Literate Programming on a Team Project. [Citation Graph (0, 0)][DBLP]
Softw., Pract. Exper., 1991, v:21, n:7, pp:677-683 [Journal]
Norman Ramsey, Cristina Cifuentes
A transformational approach to binary translation of delayed branches. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 2003, v:25, n:2, pp:210-224 [Journal]
Norman Ramsey, Mary F. Fernandez
Specifying Representations of Machine Instructions. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1997, v:19, n:3, pp:492-524 [Journal]
Automatically generating instruction selectors using declarative machine descriptions. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.301secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP