default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNeil D. Jones
- > Home > Persons > Neil D. Jones
Publications
- 2018
[c63]Neil D. Jones:
On Modeling and Programming. ISoLA (1) 2018: 22-34- 2013
- [c60]Neil D. Jones:
A Swiss Pocket Knife for Computability. Festschrift for Dave Schmidt 2013: 1-17 - 2006
- [j40]Neil D. Jones:
Guest Editor's Foreword. Nord. J. Comput. 13(1-2): 1 (2006) - 2004
- [j37]Neil D. Jones:
Transformation by interpreter specialisation. Sci. Comput. Program. 52: 307-339 (2004) - 2001
- [j36]Neil D. Jones:
The expressive power of higher-order types or, life without CONS. J. Funct. Program. 11(1): 5-94 (2001) - [c43]Neil D. Jones:
Program Termination Analysis by Size-Change Graphs (Abstract). IJCAR 2001: 1-4 - [c42]Neil D. Jones:
Program Analysis for Implicit Computational Complexity. PADO 2001: 1 - 1999
- [j33]Neil D. Jones:
EAPLS: the European Association for Programming Languages and Systems. ACM SIGPLAN Notices 34(2): 19-20 (1999) - [j32]Neil D. Jones:
LOGSPACE and PTIME Characterized by Programming Languages. Theor. Comput. Sci. 228(1-2): 151-174 (1999) - [c40]Neil D. Jones:
The Essence of Program Transformation by Partial Evaluation and Driving. Ershov Memorial Conference 1999: 62-79 - 1997
- [b4]Neil D. Jones:
Computability and complexity - from a programming perspective. Foundations of computing series, MIT Press 1997, ISBN 978-0-262-10064-9, pp. I-XVI, 1-466 - [c38]Neil D. Jones:
Combining Abstract Interpretation and Partial Evaluation (Brief Overview). SAS 1997: 396-405 - 1996
- [j30]Neil D. Jones:
An Introduction to Partial Evaluation. ACM Comput. Surv. 28(3): 480-503 (1996) - [c37]Neil D. Jones:
What Not to Do When Writing an Interpreter for Specialisation. Dagstuhl Seminar on Partial Evaluation 1996: 216-237 - 1995
- [c35]Neil D. Jones:
Special Address: MIX ten years after. PEPM 1995: 24-38 - [c34]Neil D. Jones:
Complexity and computability from a programming language perspective. MFPS 1995: 313-333 - [e5]Neil D. Jones:
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995. ACM Press 1995, ISBN 0-89791-720-0 [contents] - 1994
- [c31]Neil D. Jones:
The Essence of Program Transformation by Partial Evaluation and Driving. Logic, Language and Computation 1994: 206-224 - [c29]Neil D. Jones:
Program Speedups in Theory and Practice. IFIP Congress (1) 1994: 595-602 - [c28]Neil D. Jones:
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming. ILPS 1994: 17-22 - 1993
- [c27]Neil D. Jones:
Constant time factors do matter. STOC 1993: 602-611 - 1991
- [j26]Neil D. Jones:
Foreword (Selected Papers of ESOP '90). Sci. Comput. Program. 17(1-3): 1-2 (1991) - [j24]Neil D. Jones:
Static Semantics, Types, and Binding Time Analysis. Theor. Comput. Sci. 90(1): 95-118 (1991) - [c26]Neil D. Jones:
Efficient Algebraic Operations on Programs. AMAST 1991: 393-420 - 1990
- [c25]Neil D. Jones:
Partial Evaluation, Self-Application and Types. ICALP 1990: 639-659 - [e3]Neil D. Jones:
ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Lecture Notes in Computer Science 432, Springer 1990, ISBN 3-540-52592-0 [contents] - 1988
- [j22]Neil D. Jones:
Scientific Foreword. New Gener. Comput. 6(2&3): 87-90 (1988) - [j21]Neil D. Jones:
Challenging Problems in Partial Evaluation and Mixed Computation. New Gener. Comput. 6(2&3): 291-302 (1988) - 1981
- [c13]Neil D. Jones:
Flow Analysis of Lambda Expressions (Preliminary Version). ICALP 1981: 114-128 - 1980
- [e1]Neil D. Jones:
Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980. Lecture Notes in Computer Science 94, Springer 1980, ISBN 3-540-10250-7 [contents] - 1978
- [j14]Neil D. Jones:
Corrigendum: Context Free Languages and Rudimentary Attributes. Math. Syst. Theory 11: 379-380 (1978) - 1977
- [j12]Neil D. Jones:
A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata. Inf. Process. Lett. 6(4): 110-112 (1977) - [j10]Neil D. Jones:
Corrigendum: Space-Bounded Reducibility among Combinatorial Problems. J. Comput. Syst. Sci. 15(2): 241 (1977) - 1975
- [j6]Neil D. Jones:
Space-Bounded Reducibility among Combinatorial Problems. J. Comput. Syst. Sci. 11(1): 68-85 (1975) - 1970
- [j3]Neil D. Jones:
A Note on the Index of a Context-Free Language. Inf. Control. 16(2): 201-202 (1970) - 1969
- [j2]Neil D. Jones:
Context-Free Languages and Rudimentary Attributes. Math. Syst. Theory 3(2): 102-109 (1969) - 1968
- [j1]Neil D. Jones:
Classes of Automata and Transitive Closure. Inf. Control. 13(3): 207-229 (1968) - 1967
- [c1]Neil D. Jones:
Classes of Automata and Transitive Closure. SWAT 1967: 296-306
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-11 00:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
