Підписатись
Norman Ramsey
Norman Ramsey
Professor of Computer Science, Tufts University
Підтверджена електронна адреса в cs.tufts.edu - Домашня сторінка
Назва
Посилання
Посилання
Рік
Literate programming simplified
N Ramsey
IEEE software 11 (5), 97-105, 1994
3131994
Stochastic lambda calculus and monads of probability distributions
N Ramsey, A Pfeffer
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
2692002
Specifying representations of machine instructions
N Ramsey, MF Fernández
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (3), 492-524, 1997
2071997
C-—: A portable assembly language that supports garbage collection
SP Jones, N Ramsey, F Reig
Principles and Practice of Declarative Programming: International Conference …, 1999
1441999
A generalized algorithm for graph-coloring register allocation
MD Smith, N Ramsey, G Holloway
Proceedings of the ACM SIGPLAN 2004 conference on Programming language …, 2004
1322004
An algebraic approach to file synchronization
N Ramsey, E Csirmaz
Proceedings of the 8th European software engineering conference held jointly …, 2001
1302001
The New Jersey machine-code toolkit
N Ramsey, MF Fernandez
USENIX, 289-302, 1995
1231995
Machine descriptions to build tools for embedded systems
N Ramsey, JW Davidson
Languages, Compilers, and Tools for Embedded Systems, 176-192, 1998
881998
A single intermediate language that supports multiple implementations of exceptions
N Ramsey, S Peyton Jones
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
872000
A retargetable debugger
N Ramsey, DR Hanson
Proceedings of the ACM SIGPLAN 1992 conference on Programming language …, 1992
791992
The design of a resourceable and retargetable binary translator
C Cifuentes, M Van Emmerik, N Ramsey
Sixth Working Conference on Reverse Engineering (Cat. No. PR00303), 280-291, 1999
691999
Waving A Language-Independent WEB.
CJ Van Wyk, N Ramsey
Commun. ACM 32 (9), 1051-1055, 1989
651989
Embedding an interpreted language using higher-order functions and types
N Ramsey
Proceedings of the 2003 workshop on Interpreters, virtual machines and …, 2003
572003
Exact Bayesian inference by symbolic disintegration
C Shan, N Ramsey
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
562017
The Zephyr compiler infrastructure
A Appel, J Davidson, N Ramsey
Distributed at Supercomputing 98, 1998
541998
Experience in the design, implementation and use of a retargetable static binary translation framework
C Cifuentes, M Van Emmerik, N Ramsey, B Lewis
Sun Microsystems, Inc., 2002
492002
Hoopl: a modular, reusable library for dataflow analysis and transformation
N Ramsey, J Dias, S Peyton Jones
ACM Sigplan Notices 45 (11), 121-134, 2010
412010
Literate programming on a team project
N Ramsey, C Marceau
Software: Practice and Experience 21 (7), 677-683, 1991
411991
Concurrent programming in ML
N Ramsey
Princeton University, Department of Computer Science, 1990
361990
Automatic checking of instruction specifications
M Fernández, N Ramsey
Proceedings of the 19th international conference on Software engineering …, 1997
321997
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20