The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. 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]
  2. Christian Lindig, Norman Ramsey
    Declarative Composition of Stack Frames. [Citation Graph (0, 0)][DBLP]
    CC, 2004, pp:298-312 [Conf]
  3. Kevin Redwine, Norman Ramsey
    Widening Integer Arithmetic. [Citation Graph (0, 0)][DBLP]
    CC, 2004, pp:232-249 [Conf]
  4. 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]
  5. Norman Ramsey, Kathleen Fisher, Paul Govereau
    An expressive language of signatures. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:27-40 [Conf]
  6. Norman Ramsey, Simon L. Peyton Jones
    The C - compiler infrastructure. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:1- [Conf]
  7. Mary F. Fernandez, Norman Ramsey
    Automatic Checking of Instruction Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:326-336 [Conf]
  8. Norman Ramsey, Jack W. Davidson
    Machine Descriptions to Build Tools for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    LCTES, 1998, pp:176-192 [Conf]
  9. 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]
  10. Norman Ramsey
    Relocating Machine Instructions by Currying. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:226-236 [Conf]
  11. Norman Ramsey, David R. Hanson
    A Retargetable Debugger. [Citation Graph (0, 0)][DBLP]
    PLDI, 1992, pp:22-31 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Norman Ramsey
    Correctness of Trap-Based Breakpoint Implementations. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:15-24 [Conf]
  16. Norman Ramsey, Avi Pfeffer
    Stochastic lambda calculus and monads of probability distributions. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:154-165 [Conf]
  17. 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]
  18. Norman Ramsey
    Pragmatic Aspects of Reusable Program Generators. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:149-171 [Conf]
  19. Norman Ramsey, Elöd Csirmaz
    An algebraic approach to file synchronization. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:175-185 [Conf]
  20. Norman Ramsey, Mary F. Fernandez
    The New Jersey Machine-Code Toolkit. [Citation Graph (0, 0)][DBLP]
    USENIX Winter, 1995, pp:289-302 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Norman Ramsey
    LATEX Support for Proceedings. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:4, pp:1-3 [Journal]
  28. 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]
  29. Norman Ramsey
    Literate Programming Simplified. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:5, pp:97-105 [Journal]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]

  35. Automatically generating instruction selectors using declarative machine descriptions. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.007secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002