publications:
- title: "An Experiment in Partial Evaluation: The Generation of a Compiler Generator"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  - name: "Harald Søndergaard"
    link: "https://researchr.org/alias/harald-s%C3%B8ndergaard"
  year: "1985"
  doi: "http://www.springerlink.com/content/7233k327x6087762/"
  links:
    doi: "http://www.springerlink.com/content/7233k327x6087762/"
  tags:
  - "binding-time"
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/JonesSS85"
  cites: 0
  citedby: 0
  pages: "124-140"
  booktitle: "Rewriting Techniques and Applications, First International Conference, RTA-85, Dijon, France, May 20-22, 1985, Proceedings"
  editor:
  - name: "Jean-Pierre Jouannaud"
    link: "https://researchr.org/alias/jean-pierre-jouannaud"
  volume: "202"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15976-2"
  kind: "inproceedings"
  key: "JonesSS85"
- title: "Priority Paging Algorithms and the Extension Problem"
  author:
  - name: "Edward G. Coffman Jr."
    link: "https://researchr.org/alias/edward-g.-coffman-jr."
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1971"
  researchr: "https://researchr.org/publication/CoffmanJ71"
  cites: 0
  citedby: 0
  pages: "177-181"
  booktitle: "Conference Record 1971 Twelfth Annual Symposium on Switching and Automata Theory, 13-15 October 1971, East Lansing, Michigan, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "CoffmanJ71"
- title: "Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time"
  author:
  - name: "Amir M. Ben-Amram"
    link: "https://researchr.org/alias/amir-m.-ben-amram"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Lars Kristiansen"
    link: "https://researchr.org/alias/lars-kristiansen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69407-6_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69407-6_7"
  researchr: "https://researchr.org/publication/Ben-AmramJK08"
  cites: 0
  citedby: 0
  pages: "67-76"
  booktitle: "Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings"
  editor:
  - name: "Arnold Beckmann"
    link: "https://researchr.org/alias/arnold-beckmann"
  - name: "Costas Dimitracopoulos"
    link: "https://researchr.org/alias/costas-dimitracopoulos"
  - name: "Benedikt Löwe"
    link: "https://researchr.org/alias/benedikt-l%C3%B6we"
  volume: "5028"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69405-2"
  kind: "inproceedings"
  key: "Ben-AmramJK08"
- title: "Classes of Automata and Transitive Closure"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1968"
  month: "September"
  researchr: "https://researchr.org/publication/Jones68%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "13"
  number: "3"
  pages: "207-229"
  kind: "article"
  key: "Jones68:0"
- title: "Compiler Generation by Partial Evaluation: A Case Study"
  author:
  - name: "Carsten K. Gomard"
    link: "https://researchr.org/alias/carsten-k.-gomard"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1991"
  tags:
  - "case study"
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/GomardJ91"
  cites: 0
  citedby: 0
  journal: "Software - Concepts and Tools"
  volume: "12"
  number: "3"
  pages: "123-144"
  kind: "article"
  key: "GomardJ91"
- title: "Abstract Interpretation and Partial Evaluation in Functional and Logic Programming"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1994"
  tags:
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Jones94%3A7"
  cites: 0
  citedby: 0
  pages: "17-22"
  booktitle: "Workshop on Design and Impl. of Parallel Logic Programming Systems"
  kind: "inproceedings"
  key: "Jones94:7"
- title: "The size-change principle for program termination"
  author:
  - name: "Chin Soon Lee"
    link: "https://researchr.org/alias/chin-soon-lee"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Amir M. Ben-Amram"
    link: "https://researchr.org/alias/amir-m.-ben-amram"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/360204.360210"
  links:
    doi: "http://doi.acm.org/10.1145/360204.360210"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/LeeJB01"
  cites: 0
  citedby: 0
  pages: "81-92"
  booktitle: "Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"
  series: "POPL"
  publisher: "Association for Computing Machinery"
  kind: "inproceedings"
  key: "LeeJB01"
- title: "A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1977"
  researchr: "https://researchr.org/publication/Jones77%3A1"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "6"
  number: "4"
  pages: "110-112"
  kind: "article"
  key: "Jones77:1"
- title: "Even Simple Programs Are Hard To Analyze"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1977"
  doi: "http://doi.acm.org/10.1145/322003.322016"
  links:
    doi: "http://doi.acm.org/10.1145/322003.322016"
  researchr: "https://researchr.org/publication/JonesM77"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "24"
  number: "2"
  pages: "338-350"
  kind: "article"
  key: "JonesM77"
- title: "Special Address: MIX ten years later"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1995"
  tags:
  - "mix"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Jones95%3A10"
  cites: 0
  citedby: 0
  pages: "24-38"
  booktitle: "ACM"
  series: "ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation"
  kind: "inproceedings"
  key: "Jones95:10"
- title: "Constant time factors do matter"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/167088.167244"
  links:
    doi: "http://doi.acm.org/10.1145/167088.167244"
  researchr: "https://researchr.org/publication/Jones93%3A8"
  cites: 0
  citedby: 0
  pages: "602-611"
  booktitle: "STOC"
  kind: "inproceedings"
  key: "Jones93:8"
- title: "The Essence of Program Transformation by Partial Evaluation and Driving"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1755/17550062.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1755/17550062.htm"
  tags:
  - "partial evaluation"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Jones99%3A5"
  cites: 0
  citedby: 0
  pages: "62-79"
  booktitle: "Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "1755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67102-1"
  kind: "inproceedings"
  key: "Jones99:5"
- title: "A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1982"
  tags:
  - "program analysis"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/JonesM82"
  cites: 0
  citedby: 0
  pages: "66-74"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "JonesM82"
- title: "Turing Machines and the Spectra of First-Order Formulas"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Alan L. Selman"
    link: "https://researchr.org/alias/alan-l.-selman"
  year: "1974"
  researchr: "https://researchr.org/publication/JonesS74"
  cites: 0
  citedby: 0
  journal: "Journal of Symbolic Logic"
  volume: "39"
  number: "1"
  pages: "139-150"
  kind: "article"
  key: "JonesS74"
- title: "The expressive power of higher-order types or, life without CONS"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2001"
  researchr: "https://researchr.org/publication/Jones01%3A12"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "11"
  number: "1"
  pages: "5-94"
  kind: "article"
  key: "Jones01:12"
- title: "Program Analysis for Implicit Computational Complexity"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2053/20530001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2053/20530001.htm"
  tags:
  - "program analysis"
  - "analysis"
  researchr: "https://researchr.org/publication/Jones01%3A7"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Andrzej Filinski"
    link: "https://researchr.org/alias/andrzej-filinski"
  volume: "2053"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42068-1"
  kind: "inproceedings"
  key: "Jones01:7"
- title: "An Introduction to Partial Evaluation"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1996"
  doi: "http://portal.acm.org/citation.cfm?id=243447&dl=GUIDE,"
  abstract: "Partial evaluation provides a unifying paradigm for a broad spectrum of work in program optimization compiling interpretation and the generation of automatic program generators [Bjørner et al. 1987; Ershov 1992; and Jones et al. 1993]. It is a program optimization technique, perhaps better called program specialization, closely related to but different from Jørring and Scherlis' staging transformations [1986]. It emphasizes, in comparison with Burstall and Darlington [1977] and Jørring and Scherlis [1986] and other program transformation work, full automation and the generation of program generators as well as transforming single programs. Much partial evaluation work to date has concerned automatic compiler generation from an interpretive definition of programming language, but it also has important applications to scientific computing, logic programming, metaprogramming, and expert systems; some pointers are given later."
  links:
    doi: "http://portal.acm.org/citation.cfm?id=243447&dl=GUIDE,"
  tags:
  - "programming languages"
  - "optimization"
  - "transformation language"
  - "programming paradigms"
  - "logic programming"
  - "transformation system"
  - "compiler"
  - "partial evaluation"
  - "programming"
  - "logic"
  - "program optimization"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Jones96%3A5"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "28"
  number: "3"
  pages: "480-503"
  kind: "article"
  key: "Jones96:5"
- title: "Program generation, termination, and binding-time analysis"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Arne J. Glenstrup"
    link: "https://researchr.org/alias/arne-j.-glenstrup"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581505"
  links:
    doi: "http://doi.acm.org/10.1145/581478.581505"
  tags:
  - "program analysis"
  - "analysis"
  - "termination"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/JonesG02%3A0"
  cites: 0
  citedby: 0
  pages: "283"
  booktitle: "Proceedings of the seventh ACM SIGPLAN international conference on Functional Programming (ICFP 2002)"
  kind: "inproceedings"
  key: "JonesG02:0"
- title: "Program Termination Analysis by Size-Change Graphs (Abstract)"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2083/20830001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2083/20830001.htm"
  tags:
  - "program analysis"
  - "analysis"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Jones01%3A5"
  cites: 0
  citedby: 0
  pages: "1-4"
  booktitle: "Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings"
  editor:
  - name: "Rajeev Goré"
    link: "https://researchr.org/alias/rajeev-gor%C3%A9"
  - name: "Alexander Leitsch"
    link: "https://researchr.org/alias/alexander-leitsch"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "2083"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42254-4"
  kind: "inproceedings"
  key: "Jones01:5"
- title: "Challenging Problems in Partial Evaluation and Mixed Computation"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1988"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Jones88a%3A0"
  cites: 0
  citedby: 0
  journal: "New Generation Comput."
  volume: "6"
  number: "2&3"
  pages: "291-302"
  kind: "article"
  key: "Jones88a:0"
- title: "Flow analysis of lazy higher-order functional programs"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Nils Andersen"
    link: "https://researchr.org/alias/nils-andersen"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.030"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.030"
  tags:
  - "laziness"
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/JonesA07"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "375"
  number: "1-3"
  pages: "120-136"
  kind: "article"
  key: "JonesA07"
- title: "CTL as an Intermediate Language"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "René Rydhof Hansen"
    link: "https://researchr.org/alias/ren%C3%A9-rydhof-hansen"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_2"
  researchr: "https://researchr.org/publication/JonesH08"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings"
  editor:
  - name: "Francesco Logozzo"
    link: "https://researchr.org/alias/francesco-logozzo"
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  volume: "4905"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78162-2"
  kind: "inproceedings"
  key: "JonesH08"
- title: "Partial Evaluation and Automatic Program Generation"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Carsten K. Gomard"
    link: "https://researchr.org/alias/carsten-k.-gomard"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  year: "1993"
  month: "6"
  note: "ISBN number 0-13-020249-5 (pbk)"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Jones%3AGomard%3ASestoft%3A93%3APartialEvaluation"
  cites: 0
  citedby: 0
  editor:
  - name: "Series editor C. A. R.\\ Hoare"
    link: "https://researchr.org/alias/series-editor-c.-a.-r.%5Eb-hoare"
  address: "International Series in Computer Science"
  publisher: "Prentice Hall International"
  kind: "book"
  key: "Jones:Gomard:Sestoft:93:PartialEvaluation"
- title: "Complexity of Some Problems in Petri Nets"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Lawrence H. Landweber"
    link: "https://researchr.org/alias/lawrence-h.-landweber"
  - name: "Y. Edmund Lien"
    link: "https://researchr.org/alias/y.-edmund-lien"
  year: "1977"
  researchr: "https://researchr.org/publication/JonesLL77"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "4"
  number: "3"
  pages: "277-299"
  kind: "article"
  key: "JonesLL77"
- title: "A Note on the Complexity of General D0L Membership"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  year: "1981"
  researchr: "https://researchr.org/publication/JonesS81%3A0"
  cites: 0
  citedby: 0
  journal: "SIAM Journal on Computing"
  volume: "10"
  number: "1"
  pages: "114-117"
  kind: "article"
  key: "JonesS81:0"
- title: "Turing Machines and the Spectra of First-Order Formulas with Equality"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Alan L. Selman"
    link: "https://researchr.org/alias/alan-l.-selman"
  year: "1972"
  researchr: "https://researchr.org/publication/JonesS72"
  cites: 0
  citedby: 0
  pages: "157-167"
  booktitle: "Conference Record, Fourth Annual ACM Symposium on Theory of Computing, 1-3 May 1972, Denver, Colorado, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "JonesS72"
- title: "Flow Analysis of Lambda Expressions (Preliminary Version)"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1981"
  tags:
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/Jones81%3A1"
  cites: 0
  citedby: 0
  pages: "114-128"
  booktitle: "Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings"
  editor:
  - name: "Shimon Even"
    link: "https://researchr.org/alias/shimon-even"
  - name: "Oded Kariv"
    link: "https://researchr.org/alias/oded-kariv"
  volume: "115"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10843-2"
  kind: "inproceedings"
  key: "Jones81:1"
- title: "Generalizing Cook s Transformation to Imperative Stack Programs"
  author:
  - name: "Nils Andersen"
    link: "https://researchr.org/alias/nils-andersen"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1994"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/AndersenJ94"
  cites: 0
  citedby: 0
  pages: "1-18"
  booktitle: "Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings"
  editor:
  - name: "Juhani Karhumäki"
    link: "https://researchr.org/alias/juhani-karhum%C3%A4ki"
  - name: "Hermann A. Maurer"
    link: "https://researchr.org/alias/hermann-a.-maurer"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "812"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58131-6"
  kind: "inproceedings"
  key: "AndersenJ94"
- title: "Termination analysis and specialization-point insertion in offline partial evaluation"
  author:
  - name: "Arne J. Glenstrup"
    link: "https://researchr.org/alias/arne-j.-glenstrup"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1108970.1108973"
  links:
    doi: "http://doi.acm.org/10.1145/1108970.1108973"
  tags:
  - "analysis"
  - "termination"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/GlenstrupJ05"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "27"
  number: "6"
  pages: "1147-1215"
  kind: "article"
  key: "GlenstrupJ05"
- title: "Logic, Language and Computation, a Festschrift in honor of Satoru Takasu"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Hagiya, Masami"
    link: "https://researchr.org/alias/hagiya%2C-masami"
  - name: "Sato, Masahiko"
    link: "https://researchr.org/alias/sato%2C-masahiko"
  year: "1994"
  note: "269 pages"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Takasu%3Afestschrift%3A94"
  cites: 0
  citedby: 0
  volume: "792"
  publisher: "S-V"
  kind: "book"
  key: "Takasu:festschrift:94"
- title: "Corrigendum: Context Free Languages and Rudimentary Attributes"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1978"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/Jones78%3A2"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "11"
  pages: "379-380"
  kind: "article"
  key: "Jones78:2"
- title: "Complexity of Some Problems Concerning L Systems"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  year: "1977"
  researchr: "https://researchr.org/publication/JonesS77%3A0"
  cites: 0
  citedby: 0
  pages: "301-308"
  booktitle: "Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings"
  editor:
  - name: "Arto Salomaa"
    link: "https://researchr.org/alias/arto-salomaa"
  - name: "Magnus Steinby"
    link: "https://researchr.org/alias/magnus-steinby"
  volume: "52"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-08342-1"
  kind: "inproceedings"
  key: "JonesS77:0"
- title: "Complete Problems for Deterministic Polynomial Time"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "William T. Laaser"
    link: "https://researchr.org/alias/william-t.-laaser"
  year: "1974"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/JonesL74"
  cites: 0
  citedby: 0
  pages: "40-46"
  booktitle: "Conference Record of Sixth Annual ACM Symposium on Theory of Computing, 30 April-2 May 1974, Seattle, Washington, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "JonesL74"
- title: "Termination Analysis of the Untyped lamba-Calculus"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Nina Bohr"
    link: "https://researchr.org/alias/nina-bohr"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=1"
  tags:
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/JonesB04"
  cites: 0
  citedby: 0
  pages: "1-23"
  booktitle: "Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings"
  editor:
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  volume: "3091"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22153-0"
  kind: "inproceedings"
  key: "JonesB04"
- title: "Higher-Order Minimal Functional Graphs"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Mads Rosendahl"
    link: "https://researchr.org/alias/mads-rosendahl"
  year: "1994"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/JonesR94"
  cites: 0
  citedby: 0
  pages: "242-252"
  booktitle: "Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings"
  editor:
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  - name: "Mario Rodríguez-Artalejo"
    link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo"
  volume: "850"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58431-5"
  kind: "inproceedings"
  key: "JonesR94"
- title: "Space-Bounded Reducibility among Combinatorial Problems"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1975"
  researchr: "https://researchr.org/publication/Jones75"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "11"
  number: "1"
  pages: "68-85"
  kind: "article"
  key: "Jones75"
- title: "Stepwise Development of Operational and Denotational Semantics for Prolog"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Alan Mycroft"
    link: "https://researchr.org/alias/alan-mycroft"
  year: "1984"
  tags:
  - "semantics"
  - "Prolog"
  - "denotational semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/JonesM84"
  cites: 0
  citedby: 0
  pages: "281-288"
  booktitle: "SLP"
  kind: "inproceedings"
  key: "JonesM84"
- title: "Flow Analysis and Optimization of Lisp-Like Structures"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1979"
  doi: "db/conf/popl/JonesM79.html"
  tags:
  - "optimization"
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/JonesM79"
  cites: 0
  citedby: 0
  pages: "244-256"
  booktitle: "Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language"
  editor:
  - name: "Barry K. Rosen"
    link: "https://researchr.org/alias/barry-k.-rosen"
  - name: "Alfred V. Aho"
    link: "http://www1.cs.columbia.edu/~aho/"
  - name: "Stephen N. Zilles	 "
    link: "https://researchr.org/alias/stephen-n.-zilles%09"
  publisher: "ACM"
  kind: "inproceedings"
  key: "JonesM79"
- title: "Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC"
  author:
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1994"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/SorensenGJ94"
  cites: 0
  citedby: 0
  pages: "485-500"
  booktitle: "Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings"
  editor:
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "788"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57880-3"
  kind: "inproceedings"
  key: "SorensenGJ94"
- title: "EAPLS: the European Association for Programming Languages and Systems"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1999"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Jones99%3A8"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "34"
  number: "2"
  pages: "19-20"
  kind: "article"
  key: "Jones99:8"
- title: "Program Generation, Termination, and Binding-Time Analysis"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Arne J. Glenstrup"
    link: "https://researchr.org/alias/arne-j.-glenstrup"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870001.htm"
  tags:
  - "program analysis"
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/JonesG02"
  cites: 0
  citedby: 0
  pages: "1-31"
  booktitle: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings"
  editor:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44284-7"
  kind: "inproceedings"
  key: "JonesG02"
- title: "The Complexity of Finite Memory Programs with Recursion"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1978"
  doi: "http://doi.acm.org/10.1145/322063.322074"
  links:
    doi: "http://doi.acm.org/10.1145/322063.322074"
  researchr: "https://researchr.org/publication/JonesM78%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "25"
  number: "2"
  pages: "312-321"
  kind: "article"
  key: "JonesM78:0"
- title: "A relational framework for abstract interpretation"
  author:
  - name: "Alan Mycroft"
    link: "https://researchr.org/alias/alan-mycroft"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1985"
  researchr: "https://researchr.org/publication/MycroftJ85"
  cites: 0
  citedby: 0
  pages: "156-171"
  booktitle: "Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985"
  editor:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "217"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16446-4"
  kind: "inproceedings"
  key: "MycroftJ85"
- title: "Transformation by interpreter specialisation"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.03.010"
  abstract: "A program may be transformed by specialising an interpreter for the language in which it is written. Efficiency of the transformed program is determined by the efficiency of the interpreter’s dynamic operations; the efficiency of its static operations is irrelevant, since all will be “specialised away”. This approach is automatic (as automatic as the specialiser is); general, in that it applies to all of the interpreter’s input programs; and flexible, in that a wide range of program transformations are achievable since the transformed program inherits the style of the interpreter. The chief practical challenge is understanding cause and effect: how should one write the interpreter so that specialisation produces efficient transformed programs? The core of this paper is a series of examples, both positive and negative, showing how the way the interpreter is written can influence the removal of interpretational overhead, and thus the efficiency and size of the target programs obtained by specialisation. In principle this method can speed up source programs by an arbitrary amount; the limit depends only on how efficiently the interpreter can be written. An example shows that a “memoising” interpreter can yield asymptotic speedup, transforming an exponential-time program into one running in polynomial time. A final analysis is made of the speed of the output programs in relation to the speed of the interpreter from which they are derived. It is argued that this relative speedup is linear, with a constant coefficient depending on the program being transformed. "
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2004.03.010"
  tags:
  - "programming languages"
  - "model-to-model transformation"
  - "program analysis"
  - "interpreter"
  - "transformation language"
  - "points-to analysis"
  - "analysis"
  - "static analysis"
  - "source-to-source"
  - "model transformation"
  - "partial evaluation"
  - "programming"
  - "systematic-approach"
  - "open-source"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Jones04%3A3"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "52"
  pages: "307-339"
  kind: "article"
  key: "Jones04:3"
- title: "LOGSPACE and PTIME Characterized by Programming Languages"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0304-3975(98)00357-0"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(98)00357-0"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Jones99%3A2"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "228"
  number: "1-2"
  pages: "151-174"
  kind: "article"
  key: "Jones99:2"
- title: "The Essence of Program Transformation by Partial Evaluation and Driving"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1994"
  doi: "http://www.springerlink.com/content/hqywldtjqmry6q6a/"
  abstract: "An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial evaluation [19] and Turchin’s more powerful “driving” transformation [33]. Such automatic program speedups have been seen to give quite significant speedups in practical applications. This paper’s aims are similar to those of [18]: better to understand the fundamental mathematical phenomena that make such speedups possible. The current paper is more complete than [18], since it precisely formulates correctness of code generation; and more powerful, since it includes program optimizations not achievable by simple partial evaluation. Moreover, for the first time it puts Turchin’s driving methodology on a solid semantic foundation which is not tied to any particular programming language or data structure. This paper is dedicated to Satoru Takasu with thanks for good advice early in my career on how to do research, and for insight into how to see the essential part of a new problem. This work was supported in part by the Danish Natural Science Research Council (DART project) and by an Esprit Basic Research Action (Semantique). "
  links:
    doi: "http://www.springerlink.com/content/hqywldtjqmry6q6a/"
  tags:
  - "programming languages"
  - "optimization"
  - "completeness"
  - "data-flow language"
  - "application framework"
  - "transformation language"
  - "data-flow programming"
  - "data-flow"
  - "code generation"
  - "e-science"
  - "partial evaluation"
  - "programming"
  - "program optimization"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Jones94"
  cites: 0
  citedby: 0
  pages: "206-224"
  booktitle: "Logic, Language and Computation, Festschrift in Honor of Satoru Takasu"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "Masahiko Sato"
    link: "https://researchr.org/alias/masahiko-sato"
  volume: "792"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "inproceedings"
  key: "Jones94"
- title: "Even Simple Programs are Hard to Analyze"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1975"
  researchr: "https://researchr.org/publication/JonesM75"
  cites: 0
  citedby: 0
  pages: "106-118"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "JonesM75"
- title: "Partial Evaluation, Self-Application and Types"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1990"
  doi: "http://www.springerlink.com/content/mw6j011454472652/"
  abstract: "We give an overview of and sketch some new possibilities in the area of partial evaluation. This program transformation and optimization technique has received considerable attention in recent years due to its abilities automatically to compile and to transform an interpreter into a compiler (abilities now well established both theoretically and on the computer). Compared to earlier work in the area, this paper has less emphasis on methods and systems and gives more attention to underlying problems and principles. In particular it discusses questions of computational complexity and the desirability of a theoretical framework for studying complexity in partial evaluation. Further, it outlines some first steps toward the problem of verifying type correctness in interpreters, compilers and partial evaluators."
  links:
    doi: "http://www.springerlink.com/content/mw6j011454472652/"
  tags:
  - "optimization"
  - " self-application"
  - "application framework"
  - "program verification"
  - "interpreter"
  - "principles"
  - "type system"
  - "transformation system"
  - "compiler"
  - "partial evaluation"
  - "program optimization"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/Jones90%3A1"
  cites: 0
  citedby: 0
  pages: "639-659"
  booktitle: "Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings"
  editor:
  - name: "Mike Paterson"
    link: "https://researchr.org/alias/mike-paterson"
  volume: "443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52826-1"
  kind: "inproceedings"
  key: "Jones90:1"
- title: "New Problems Complete for Nondeterministic Loc Space"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Y. Edmund Lien"
    link: "https://researchr.org/alias/y.-edmund-lien"
  - name: "William T. Laaser"
    link: "https://researchr.org/alias/william-t.-laaser"
  year: "1976"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/JonesLL76"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "10"
  pages: "1-17"
  kind: "article"
  key: "JonesLL76"
- title: "Classes of Automata and Transitive Closure"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1967"
  researchr: "https://researchr.org/publication/Jones67"
  cites: 0
  citedby: 0
  pages: "296-306"
  booktitle: "Conference Record of 1967 Eighth Annual Symposium on Switching and Automata Theory, 18-20 October 1967, Austin, Texas, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "Jones67"
- title: "Complexity of Some Problems Concerning L Systems"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  year: "1979"
  researchr: "https://researchr.org/publication/JonesS79"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "13"
  pages: "29-43"
  kind: "article"
  key: "JonesS79"
- title: "Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  - name: "Harald Søndergaard"
    link: "https://researchr.org/alias/harald-s%C3%B8ndergaard"
  year: "1989"
  tags:
  - "mix"
  - " self-application"
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/JonesSS89"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "2"
  number: "1"
  pages: "9-50"
  kind: "article"
  key: "JonesSS89"
- title: "Foreword (Selected Papers of ESOP  90)"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1991"
  researchr: "https://researchr.org/publication/Jones91%3A1"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "17"
  number: "1-3"
  pages: "1-2"
  kind: "article"
  key: "Jones91:1"
- title: "A Fixed-Program Machine for Combinator Expression Evaluation"
  author:
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1982"
  researchr: "https://researchr.org/publication/MuchnickJ82"
  cites: 0
  citedby: 0
  pages: "11-20"
  booktitle: "Symposium on LISP and Functional Programming"
  kind: "inproceedings"
  key: "MuchnickJ82"
- title: "Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Arne J. Glenstrup"
    link: "https://researchr.org/alias/arne-j.-glenstrup"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/571157.571158"
  links:
    doi: "http://doi.acm.org/10.1145/571157.571158"
  tags:
  - "program analysis"
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/JonesG02%3A1"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)"
  publisher: "ACM"
  kind: "inproceedings"
  key: "JonesG02:1"
- title: "A Precise Version of a Time Hierarchy Theorem"
  author:
  - name: "Amir M. Ben-Amram"
    link: "https://researchr.org/alias/amir-m.-ben-amram"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1999"
  researchr: "https://researchr.org/publication/Ben-AmramJ99"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "38"
  number: "1-2"
  pages: "1-15"
  kind: "article"
  key: "Ben-AmramJ99"
- title: "Data Flow Analysis of Applicative Programs Using Minimal Function Graphs"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Alan Mycroft"
    link: "https://researchr.org/alias/alan-mycroft"
  year: "1986"
  tags:
  - "program analysis"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "graph-rewriting"
  - "rewriting"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/JonesM86"
  cites: 0
  citedby: 0
  pages: "296-306"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "JonesM86"
- title: "Computability and Complexity from a Programming Perspective"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1997"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Jones%3A97%3AComputabilityComplexity"
  cites: 0
  citedby: 0
  edition: "1"
  series: "Foundations of Computing"
  address: "Boston, London"
  publisher: "MIT Press"
  kind: "book"
  key: "Jones:97:ComputabilityComplexity"
- title: "Redundant Call Elimination via Tupling"
  author:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2006"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=69&issue=1&spage=1"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=69&issue=1&spage=1"
  researchr: "https://researchr.org/publication/ChinKJ06"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "69"
  number: "1-2"
  pages: "1-37"
  kind: "article"
  key: "ChinKJ06"
- title: "Scientific Foreword"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1988"
  researchr: "https://researchr.org/publication/Jones88%3A2"
  cites: 0
  citedby: 0
  journal: "New Generation Comput."
  volume: "6"
  number: "2&3"
  pages: "87-90"
  kind: "article"
  key: "Jones88:2"
- title: "MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  - name: "Harald Søndergaard"
    link: "https://researchr.org/alias/harald-s%C3%B8ndergaard"
  year: "1987"
  tags:
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/JonesSS87"
  cites: 0
  citedby: 0
  pages: "386-413"
  booktitle: "Mathematical Foundations of Programming Language Semantics, 3rd  Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings"
  editor:
  - name: "Michael G. Main"
    link: "https://researchr.org/alias/michael-g.-main"
  - name: "Austin Melton"
    link: "https://researchr.org/alias/austin-melton"
  - name: "Michael W. Mislove"
    link: "https://researchr.org/alias/michael-w.-mislove"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  volume: "298"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-19020-1"
  kind: "inproceedings"
  key: "JonesSS87"
- title: "Complexity of Flow Analysis, Inductive Assertion Synthesis and a Language Due to Dijkstra"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1980"
  tags:
  - "data-flow language"
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/JonesM80%3A1"
  cites: 0
  citedby: 0
  pages: "185-190"
  booktitle: "21st Annual Symposium on Foundations of Computer Science, 13-15 October 1980, Syracuse, New York, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "JonesM80:1"
- title: "Attribute-influenced LR parsing"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "C. Michael Madsen"
    link: "https://researchr.org/alias/c.-michael-madsen"
  year: "1980"
  tags:
  - "C++"
  - "parsing"
  researchr: "https://researchr.org/publication/JonesM80%3A0"
  cites: 0
  citedby: 0
  pages: "393-407"
  booktitle: "Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "94"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10250-7"
  kind: "inproceedings"
  key: "JonesM80:0"
- title: "Compiler generation from denotational semantics"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "David A. Schmidt"
    link: "https://researchr.org/alias/david-a.-schmidt"
  year: "1980"
  tags:
  - "semantics"
  - "denotational semantics"
  - "compiler"
  researchr: "https://researchr.org/publication/JonesS80%3A0"
  cites: 0
  citedby: 0
  pages: "70-93"
  booktitle: "Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "94"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10250-7"
  kind: "inproceedings"
  key: "JonesS80:0"
- title: "TEMPO: a unified treatment of binding time and parameter passing concepts in programming languages"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S.Muchnick"
    link: "https://researchr.org/alias/steven-s.muchnick"
  year: "1978"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Jones%3AMuchnick%3ATEMPO78"
  cites: 0
  citedby: 0
  volume: "66"
  series: "Lecture Notes in Computer Science"
  address: "Berlin, Heidelberg"
  publisher: "Springer"
  kind: "book"
  key: "Jones:Muchnick:TEMPO78"
- title: "The Flow of Data and the Complexity of Algorithms"
  author:
  - name: "Lars Kristiansen"
    link: "https://researchr.org/alias/lars-kristiansen"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11494645_33"
  links:
    doi: "http://dx.doi.org/10.1007/11494645_33"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/KristiansenJ05"
  cites: 0
  citedby: 0
  pages: "263-274"
  booktitle: "New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings"
  editor:
  - name: "S. Barry Cooper"
    link: "https://researchr.org/alias/s.-barry-cooper"
  - name: "Benedikt Löwe"
    link: "https://researchr.org/alias/benedikt-l%C3%B6we"
  - name: "Leen Torenvliet"
    link: "https://researchr.org/alias/leen-torenvliet"
  volume: "3526"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26179-6"
  kind: "inproceedings"
  key: "KristiansenJ05"
- title: "Proving correctness of compiler optimizations by temporal logic"
  author:
  - name: "David Lacey"
    link: "https://researchr.org/alias/david-lacey"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  - name: "Carl Christian Frederiksen"
    link: "https://researchr.org/alias/carl-christian-frederiksen"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503272.503299"
  links:
    doi: "http://doi.acm.org/10.1145/503272.503299"
  tags:
  - "optimization"
  - "compiler"
  - "logic"
  researchr: "https://researchr.org/publication/LaceyJWF02"
  cites: 0
  citedby: 0
  pages: "283-294"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "LaceyJWF02"
- title: "Combining Abstract Interpretation and Partial Evaluation (Brief Overview)"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1997"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Jones97%3A7"
  cites: 0
  citedby: 0
  pages: "396-405"
  booktitle: "Static Analysis, 4th International Symposium, SAS  97, Paris, France, September 8-10, 1997, Proceedings"
  editor:
  - name: "Pascal Van Hentenryck"
    link: "https://researchr.org/alias/pascal-van-hentenryck"
  volume: "1302"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63468-1"
  kind: "inproceedings"
  key: "Jones97:7"
- title: "Computational complexity via programming languages: constant factors do matter"
  author:
  - name: "Amir M. Ben-Amram"
    link: "https://researchr.org/alias/amir-m.-ben-amram"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/00236/bibs/0037002/00370083.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00236/bibs/0037002/00370083.htm"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Ben-AmramJ00"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "37"
  number: "2"
  pages: "83-120"
  kind: "article"
  key: "Ben-AmramJ00"
- title: "Complexity and computability from a programming language perspective"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1995"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/26/23/show/Products/notes/index.htt#020"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/26/23/show/Products/notes/index.htt#020"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Jones95b%3A0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "1"
  pages: "313-333"
  kind: "article"
  key: "Jones95b:0"
- title: "Context-Free Languages and Rudimentary Attributes"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1969"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/Jones69"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "3"
  number: "2"
  pages: "102-109"
  kind: "article"
  key: "Jones69"
- title: "Recognition of Deterministic ETOL Languages in Logarathimic Space"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  year: "1977"
  month: "November"
  researchr: "https://researchr.org/publication/JonesS77"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "35"
  number: "3"
  pages: "177-181"
  kind: "article"
  key: "JonesS77"
- title: "Guest Editor s Foreword"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2006"
  researchr: "https://researchr.org/publication/Jones06%3A10"
  cites: 0
  citedby: 0
  journal: "Nord. J. Comput."
  volume: "13"
  number: "1-2"
  pages: "1"
  kind: "article"
  key: "Jones06:10"
- title: "Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1976"
  tags:
  - "programming languages"
  - "optimization"
  - "language design"
  - "programming"
  - "program optimization"
  - "design"
  researchr: "https://researchr.org/publication/JonesM76"
  cites: 0
  citedby: 0
  pages: "77-94"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "JonesM76"
- title: "Efficient Algebraic Operations on Programs"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1991"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Jones91%3A4"
  cites: 0
  citedby: 0
  pages: "393-420"
  booktitle: "Algebraic Methodology and Software Technology (AMAST  91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991"
  editor:
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  - name: "Giuseppe Scollo"
    link: "https://researchr.org/alias/giuseppe-scollo"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19797-4"
  kind: "inproceedings"
  key: "Jones91:4"
- title: "What Not to Do When Writing an Interpreter for Specialisation"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1996"
  tags:
  - "interpreter"
  - "writing"
  researchr: "https://researchr.org/publication/Jones96%3A1"
  cites: 0
  citedby: 0
  pages: "216-237"
  booktitle: "Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers"
  editor:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "1110"
  series: "Lecture Notes in Computer Science"
  address: "Dagstuhl Castle, Germany"
  publisher: "Springer"
  isbn: "3-540-61580-6"
  kind: "inproceedings"
  key: "Jones96:1"
- title: "Program Speedups in Theory and Practice"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1994"
  researchr: "https://researchr.org/publication/Jones94%3A6"
  cites: 0
  citedby: 0
  pages: "595-602"
  booktitle: "IFIP Congress (1)"
  kind: "inproceedings"
  key: "Jones94:6"
- title: "Complete Problems for Deterministic Polynomial Time"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "William T. Laaser"
    link: "https://researchr.org/alias/william-t.-laaser"
  year: "1976"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/JonesL76"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "3"
  number: "1"
  pages: "105-117"
  kind: "article"
  key: "JonesL76"
- title: "A Partial Evaluator for the Untyped lambda-Calculus"
  author:
  - name: "Carsten K. Gomard"
    link: "https://researchr.org/alias/carsten-k.-gomard"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1991"
  doi: "http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1287732"
  abstract: "This article describes theoretical and practical aspects of an implemented self-applicable partial evaluator for the untyped lambda-calculus with constants and a fixed point operator. To the best of our knowledge, it is the first partial evaluator that is simultaneously higher-order, non-trivial, and self-applicable. Partial evaluation produces a residual program from a source program and some of its input data. When given the remaining input data the residual program yields the same result that the source program would when given all its input data. Our partial evaluator produces a residual lambda-expression given a source lambda-expression and the values of some of its free variables. By self-application, the partial evaluator can be used to compile and to generate stand-alone compilers from a denotational or interpretive specification of a programming language. An essential component in our self-applicable partial evaluator is the use of explicitbinding time information. We use this to annotate the source program, marking asresidual the parts for which residual code is to be generated and marking aseliminable the parts that can be evaluated using only the data that is known during partial evaluation. We give a simple criterion,well-annotatedness, that can be used to check that the partial evaluator can handle the annotated higher-order programs without committing errors. Our partial evaluator is simple, is implemented in a side-effect free subset of Scheme, and has been used to compile and to generate compilers and a compiler generator. In this article we examine two machine-generated compilers and find that their structures are surprisingly natural."
  links:
    doi: "http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1287732"
  tags:
  - "programming languages"
  - "data-flow language"
  - "data-flow programming"
  - "data-flow"
  - "source-to-source"
  - "compiler"
  - "partial evaluation"
  - "programming"
  - "open-source"
  researchr: "https://researchr.org/publication/GomardJ91%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "1"
  number: "1"
  pages: "21-69"
  kind: "article"
  key: "GomardJ91:0"
- title: "Compiler Generation by Partial Evaluation: A Case Study"
  author:
  - name: "Carsten K. Gomard"
    link: "https://researchr.org/alias/carsten-k.-gomard"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1989"
  tags:
  - "case study"
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/GomardJ89"
  cites: 0
  citedby: 0
  pages: "1139-1144"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "GomardJ89"
- title: "A Self-Applicable Partial Evaluator for the Lambda Calculus"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Carsten K. Gomard"
    link: "https://researchr.org/alias/carsten-k.-gomard"
  - name: "Anders Bondorf"
    link: "https://researchr.org/alias/anders-bondorf"
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  year: "1990"
  doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=63760&tag=1"
  abstract: "A description is given of theoretical and a few practical aspects of an implemented self-applicable partial evaluator for the call by value untyped lambda calculus with constants, conditionals, and a fixed point operator. A partial evaluator that is both high-order and self-applicable is also described. A solution to the problem of binding time analysis is presented. The partial evaluator is simple, completely automatic, and implemented in a side-effect free subset of Scheme. It has been used to compile, to generate compilers, and to generate a compiler generator."
  links:
    doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=63760&tag=1"
  tags:
  - "analysis"
  - "compiler"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/JonesGBDM90"
  cites: 0
  citedby: 0
  pages: "49-58"
  booktitle: "1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-2036-6"
  kind: "inproceedings"
  key: "JonesGBDM90"
- title: "Computability Theory: an Introduction"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1973"
  researchr: "https://researchr.org/publication/Jones%3A73%3AComputability"
  cites: 0
  citedby: 0
  edition: "1"
  address: "New York, London"
  publisher: "Academic Press"
  kind: "book"
  key: "Jones:73:Computability"
- title: "Experiments with Implementations of Two Theoretical Constructions"
  author:
  - name: "Torben Amtoft Hansen"
    link: "https://researchr.org/alias/torben-amtoft-hansen"
  - name: "Thomas Nikolajsen"
    link: "https://researchr.org/alias/thomas-nikolajsen"
  - name: "Jesper Larsson Träff"
    link: "https://researchr.org/alias/jesper-larsson-tr%C3%A4ff"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1989"
  researchr: "https://researchr.org/publication/HansenNTJ89"
  cites: 0
  citedby: 0
  pages: "119-133"
  booktitle: "Logic at Botik  89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings"
  editor:
  - name: "Albert R. Meyer"
    link: "https://researchr.org/alias/albert-r.-meyer"
  - name: "Michael A. Taitslin"
    link: "https://researchr.org/alias/michael-a.-taitslin"
  volume: "363"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51237-3"
  kind: "inproceedings"
  key: "HansenNTJ89"
- title: "TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  year: "1978"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/JonesM78"
  cites: 0
  citedby: 0
  volume: "66"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-09085-1"
  kind: "book"
  key: "JonesM78"
- title: "Program Flow Analysis: theory and applications"
  author:
  - name: "Steven S. Muchnick"
    link: "https://researchr.org/alias/steven-s.-muchnick"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1981"
  tags:
  - "program analysis"
  - "analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/fabook"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall, Inc."
  isbn: "0-13-729681-9"
  kind: "book"
  key: "fabook"
- title: "Static Semantics, Types, and Binding Time Analysis"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1991"
  tags:
  - "semantics"
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/Jones91%3A5"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "90"
  number: "1"
  pages: "95-118"
  kind: "article"
  key: "Jones91:5"
- title: "Partial Evaluation for the Lambda Calculus"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Carsten K. Gomard"
    link: "https://researchr.org/alias/carsten-k.-gomard"
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  year: "1998"
  doi: "http://www.springerlink.com/content/k41560q464827587/"
  abstract: "This paper (essentially [12, Chapter 8]) describes partial evaluation for the lambda calculus, augmented with an explicit fixed-point operator. The techniques used here diverge from those used in [12, Chapters 4, 5] and [11] in that they are not based on specialization of named program points. The algorithm essentially leaves some operators (applications, lambdas, etc.) untouched and reduces others as standard evaluation would do it. This simple scheme is able to handle programs that rely heavily on higher-order facilities. The requirements on binding-time analysis are formulated via a type system and an efficient binding-time analysis via constraint solving is outlined. The partial evaluator is proven correct. Chapter 8 from Partial Evaluation and Automatic Program Generation, Prentice-Hall International, 1993, ISBN 0-13-020249-5 (pbk). Reprinted with permission from Pentice-Hall International. All references to “book” in this article refers to this book."
  links:
    doi: "http://www.springerlink.com/content/k41560q464827587/"
  tags:
  - "rule-based"
  - "program analysis"
  - "points-to analysis"
  - "analysis"
  - "constraints"
  - "type system"
  - "source-to-source"
  - "partial evaluation"
  - "open-source"
  researchr: "https://researchr.org/publication/JonesGS98"
  cites: 0
  citedby: 0
  pages: "203-220"
  booktitle: "Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998"
  editor:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Torben Æ. Mogensen"
    link: "https://researchr.org/alias/torben-%C3%A6.-mogensen"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  volume: "1706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66710-5"
  kind: "inproceedings"
  key: "JonesGS98"
- title: "BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation"
  author:
  - name: "Arne J. Glenstrup"
    link: "https://researchr.org/alias/arne-j.-glenstrup"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1996"
  tags:
  - "termination"
  - "partial evaluation"
  researchr: "https://researchr.org/publication/GlenstrupJ96"
  cites: 0
  citedby: 0
  pages: "273-284"
  booktitle: "Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Igor V. Pottosin"
    link: "https://researchr.org/alias/igor-v.-pottosin"
  volume: "1181"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62064-8"
  kind: "inproceedings"
  key: "GlenstrupJ96"
- title: "Corrigendum: Space-Bounded Reducibility among Combinatorial Problems"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1977"
  researchr: "https://researchr.org/publication/Jones77%3A2"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "15"
  number: "2"
  pages: "241"
  kind: "article"
  key: "Jones77:2"
- title: "Higher-Order Minimal Function Graphs"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Mads Rosendahl"
    link: "https://researchr.org/alias/mads-rosendahl"
  year: "1997"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/JonesR97"
  cites: 0
  citedby: 0
  journal: "Journal of Functional and Logic Programming"
  volume: "1997"
  number: "2"
  kind: "article"
  key: "JonesR97"
- title: "A Positive Supercompiler"
  author:
  - name: "Morten Heine Sørensen"
    link: "https://researchr.org/alias/morten-heine-s%C3%B8rensen"
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1996"
  researchr: "https://researchr.org/publication/SorensenGJ96"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "6"
  number: "6"
  pages: "811-838"
  kind: "article"
  key: "SorensenGJ96"
- title: "A Note on the Index of a Context-Free Language"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1970"
  month: "April"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/Jones70"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "16"
  number: "2"
  pages: "201-202"
  kind: "article"
  key: "Jones70"
- title: "Denotational Abstract Interpretation of Logic Programs"
  author:
  - name: "Kim Marriott"
    link: "https://researchr.org/alias/kim-marriott"
  - name: "Harald Søndergaard"
    link: "https://researchr.org/alias/harald-s%C3%B8ndergaard"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/177492.177650"
  links:
    doi: "http://doi.acm.org/10.1145/177492.177650"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/MarriottSJ94"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "16"
  number: "3"
  pages: "607-648"
  kind: "article"
  key: "MarriottSJ94"
- title: "Compiler Optimization Correctness by Temporal Logic"
  author:
  - name: "David Lacey"
    link: "https://researchr.org/alias/david-lacey"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  - name: "Carl Christian Frederiksen"
    link: "https://researchr.org/alias/carl-christian-frederiksen"
  year: "2004"
  doi: "http://dx.doi.org/10.1023/B:LISP.0000029444.99264.c0"
  links:
    doi: "http://dx.doi.org/10.1023/B:LISP.0000029444.99264.c0"
  tags:
  - "optimization"
  - "model checking"
  - "compiler verification"
  - " temporal logic"
  - "compiler"
  - "logic"
  - " optimizing compilers"
  researchr: "https://researchr.org/publication/LaceyJWF04"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "17"
  number: "3"
  pages: "173-206"
  kind: "article"
  key: "LaceyJWF04"
- title: "The Semantics of  Semantic Patches  in Coccinelle: Program Transformation for the Working Programmer"
  author:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "René Rydhof Hansen"
    link: "https://researchr.org/alias/ren%C3%A9-rydhof-hansen"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_21"
  tags:
  - "semantics"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/JonesH07"
  cites: 0
  citedby: 0
  pages: "303-318"
  booktitle: "Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings"
  editor:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  volume: "4807"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76636-0"
  kind: "inproceedings"
  key: "JonesH07"
- title: "Termination Analysis of Higher-Order Functional Programs"
  author:
  - name: "Damien Sereni"
    link: "https://researchr.org/alias/damien-sereni"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11575467_19"
  links:
    doi: "http://dx.doi.org/10.1007/11575467_19"
  tags:
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "termination"
  researchr: "https://researchr.org/publication/SereniJ05"
  cites: 0
  citedby: 0
  pages: "281-297"
  booktitle: "Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings"
  editor:
  - name: "Kwangkeun Yi"
    link: "https://researchr.org/alias/kwangkeun-yi"
  volume: "3780"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29735-9"
  kind: "inproceedings"
  key: "SereniJ05"
- title: "Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-93900-9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-93900-9"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/vmcai%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings"
  conference: "vmcai"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Markus Müller-Olm"
    link: "https://researchr.org/alias/markus-m%C3%BCller-olm"
  volume: "5403"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-93899-6"
  kind: "proceedings"
  key: "vmcai:2009"
- title: "Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985"
  year: "1986"
  tags:
  - "object-oriented programming"
  - "data-flow programming"
  - "data-flow"
  - "subject-oriented programming"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/pdo%3A1985"
  cites: 0
  citedby: 0
  booktitle: "Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985"
  conference: "pdo"
  editor:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "217"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16446-4"
  kind: "proceedings"
  key: "pdo:1985"
- title: "ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings"
  year: "1990"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/esop%3A1990"
  cites: 0
  citedby: 0
  booktitle: "ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings"
  conference: "ESOP"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "432"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52592-0"
  kind: "proceedings"
  key: "esop:1990"
- title: "Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004"
  year: "2004"
  tags:
  - "programming languages"
  - "principles"
  - "programming"
  researchr: "https://researchr.org/publication/popl%3A2004"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004"
  conference: "POPL"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  publisher: "ACM"
  isbn: "1-58113-729-X"
  kind: "proceedings"
  key: "popl:2004"
- title: "Logic, Language and Computation, Festschrift in Honor of Satoru Takasu"
  year: "1994"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/birthday%3A1994takasu"
  cites: 0
  citedby: 0
  booktitle: "Logic, Language and Computation, Festschrift in Honor of Satoru Takasu"
  conference: "BIRTHDAY"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "Masahiko Sato"
    link: "https://researchr.org/alias/masahiko-sato"
  volume: "792"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "proceedings"
  key: "birthday:1994takasu"
- title: "Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980"
  year: "1980"
  tags:
  - "semantics"
  - "compiler"
  researchr: "https://researchr.org/publication/cc%3A1980"
  cites: 0
  citedby: 0
  booktitle: "Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980"
  conference: "CC"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "94"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10250-7"
  kind: "proceedings"
  key: "cc:1980"
- title: "Partial Evaluation and Mixed Computation"
  year: "1988"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Jones%3A88%3APartialEvaluationAndMixedComputation"
  cites: 0
  citedby: 0
  booktitle: "Partial Evaluation and Mixed Computation"
  editor:
  - name: "D. Bj{\\o}rner"
    link: "https://researchr.org/alias/d.-bj%7B%5Ebo%7Drner"
  - name: "A. P. Ershov"
    link: "https://researchr.org/alias/a.-p.-ershov"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  address: "North-Holland"
  publisher: "Elsevier Science Publishers B.V."
  kind: "proceedings"
  key: "Jones:88:PartialEvaluationAndMixedComputation"
- title: "Partial Evaluation and Mixed Computation"
  year: "1988"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/Jones%3A88%3APartialEvaluationAndMixedComputation%3A0"
  cites: 0
  citedby: 0
  booktitle: "Partial Evaluation and Mixed Computation"
  editor:
  - name: "D. Bj{\\o}rner"
    link: "https://researchr.org/alias/d.-bj%7B%5Ebo%7Drner"
  - name: "A. P. Ershov"
    link: "https://researchr.org/alias/a.-p.-ershov"
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  address: "North-Holland"
  publisher: "Elsevier Science Publishers B.V."
  kind: "proceedings"
  key: "Jones:88:PartialEvaluationAndMixedComputation:0"
- title: "Programs as Data Objects: PADO 1985"
  year: "1985"
  month: "October"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "data-flow programming"
  - "data-flow"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Jones%3AGanzinger%3APADO85"
  cites: 0
  citedby: 0
  booktitle: "Programs as Data Objects: PADO 1985"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  volume: "217"
  series: "LNCS"
  address: "Copenhagen, Denmark"
  publisher: "S-V"
  kind: "proceedings"
  key: "Jones:Ganzinger:PADO85"
- title: "Semantics-Directed Compiler Generation"
  year: "1980"
  month: "January"
  tags:
  - "semantics"
  - "compiler"
  researchr: "https://researchr.org/publication/Jones%3ASDCG%3A0"
  cites: 0
  citedby: 0
  booktitle: "Semantics-Directed Compiler Generation"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "94"
  series: "LNCS"
  address: "Aarhus, Denmark"
  publisher: "Springer"
  kind: "proceedings"
  key: "Jones:SDCG:0"