Share This Author
Partial evaluation and automatic program generation
- N. Jones, C. K. Gomard, P. Sestoft
- Computer SciencePrentice Hall international series in computer…
- 1993
TLDR
The size-change principle for program termination
- Chin Soon Lee, N. Jones, A. Ben-Amram
- Computer SciencePOPL '01
- 2001
TLDR
Space-Bounded Reducibility among Combinatorial Problems
- N. Jones
- Computer Science, MathematicsJ. Comput. Syst. Sci.
- 1 August 1975
Flow analysis and optimization of LISP-like structures
- N. Jones, S. S. Muchnick
- Computer SciencePOPL
- 1 January 1979
TLDR
Computability and complexity - from a programming perspective
- N. Jones
- Computer ScienceFoundations of computing series
- 14 March 1997
TLDR
A positive supercompiler
- M. Sørensen, R. Glück, N. Jones
- Computer ScienceJournal of Functional Programming
- 1 November 1996
TLDR
An experiment in partial evaluation: the generation of a compiler generator
- N. Jones, P. Sestoft, H. Søndergaard
- Computer ScienceSIGP
- 1 August 1985
TLDR
A flexible approach to interprocedural data flow analysis and programs with recursive data structures
- N. Jones, S. S. Muchnick
- Computer SciencePOPL '82
- 25 January 1982
A new approach to data flow analysis of procedural programs and programs with recursive data structures is described. The method depends on simulation of the interpreter for the subject programming…
Complexity of Some Problems in Petri Nets
- N. Jones, L. Landweber, Y. E. Lien
- Computer Science, MathematicsTheor. Comput. Sci.
- 1 June 1977
An introduction to partial evaluation
- N. Jones
- Computer ScienceCSUR
- 1 September 1996
TLDR
...
...