#### Filter Results:

- Full text PDF available (68)

#### Publication Year

1967

2017

- This year (1)
- Last 5 years (10)
- Last 10 years (27)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Neil D. Jones, Carsten K. Gomard, Peter Sestoft
- Prentice Hall international series in computer…
- 1993

- Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram
- POPL
- 2001

The "size-change termination" principle for a first-order functional language with well-founded data is: a program terminates on all inputs if <i>every infinite call sequence</i> (following program control flow) would cause an infinite descent in some data values.Size-change analysis is based only on local approximations to parameter size changes derivable… (More)

- Neil D. Jones, Peter Sestoft, Harald Søndergaard
- RTA
- 1985

The present paper is an extended abstract of (Jones 1985), in which a running , non-trivial partial evaluator is described. As far as we know, this partia l evaluator is the first which has been used in practice to transform interpreters into corresponding stand-alone compilers, or to generate a compile r generator by transforming itself. A partial… (More)

- Neil D. Jones
- Foundations of computing series
- 1997

- Neil D. Jones, Steven S. Muchnick
- POPL
- 1979

In [12] the authors introduced the concept of binding time optimization and presented a series of data flow analytic methods for determining some of the binding time characteristics of programs. In this paper we extend that work by providing methods for determining the class of shapes which an unbounded data object may assume during execution of a LISP-like… (More)

- Kim Marriott, Harald Søndergaard, Neil D. Jones
- ACM Trans. Program. Lang. Syst.
- 1994

Logic-programming languages are based on a principle of separation “logic” and “control.”. This means that they can be given simple model-theoretic semantics without regard to any particular execution mechanism (or proof procedure, viewing execution as theorem proving). Although the separation is desirable from a semantical point of… (More)

- Neil D. Jones
- J. Comput. Syst. Sci.
- 1975

- Steven S. Muchnick, Neil D. Jones
- Prentice Hall software series
- 1981

- Neil D. Jones, William T. Laaser
- Theor. Comput. Sci.
- 1974

The results of Cook and Karp ([K], [C]) aroused considerable interest for at least two reasons. First, the answer to a long-standing open question which had seemed peculiar to automata theory—whether deterministic and nondeterministic polynomial-time-bounded Turing machines are equivalent in power—was seen to be exactly equivalent to determining… (More)

- Neil D. Jones, Peter Sestoft, Harald Søndergaard
- Lisp and Symbolic Computation
- 1989