Jones, Neil D.

• DAIMI Report Series No. 137 (1981): PB-137 Control Flow Treatment in a Simple Semantics-Directed Compiler Generator - Articles
  Control Flow Treatment in a Simple: Semantics-Directed Compiler Generator
  Abstract  PDF
• DAIMI Report Series No. 67 (1977): PB-67 Complexity of some Problems Concerning L Systems. (Preliminary report) - Articles
  Complexity of some Problems Concerning L Systems. (Preliminary report)
  Abstract  PDF
• DAIMI Report Series No. 68 (1977): PB-68 The Complexity of Finite Memory Programs with Recursion - Articles
  The Complexity of Finite Memory Programs with Recursion
  Abstract  PDF
• DAIMI Report Series No. 69 (1977): PB-69 Upper Bounds on the Complexity of Some Problems Concerning L Systems - Articles
  Upper Bounds on the Complexity of Some Problems Concerning L Systems
  Abstract  PDF
• DAIMI Report Series No. 70 (1977): PB-70 Lower Bounds on the Complexity of Some Problems Concerning L Systems - Articles
  Lower Bounds on the Complexity of Some Problems: Concerning L Systems
  Abstract  PDF
• DAIMI Report Series No. 75 (1977): PB-75 A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata - Articles
  A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata
  Abstract  PDF
• DAIMI Report Series No. 80 (1977): PB-80 Blindfold Games are Harder than Games with Perfect Information - Articles
  Blindfold Games are Harder than Games with Perfect Information
  Abstract  PDF
• DAIMI Report Series No. 85 (1978): PB-85 Complexity of Some Problems Concerning Lindenmayer Systems. (Revised version) - Articles
  Complexity of Some Problems Concerning Lindenmayer Systems. (Revised version)
  Abstract  PDF
• DAIMI Report Series No. 93 (1979): PB-93 A Note on the Complexity of General D0L Membership - Articles
  A Note on the Complexity of General D0L Membership
  Abstract  PDF
• DAIMI Report Series No. 107 (1980): PB-107 Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof - Articles
  Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof
  Abstract  PDF
• DAIMI Report Series No. 113 (1980): PB-113 Compiler Generation from Denotational Semantics - Articles
  Compiler Generation from Denotational Semantics
  Abstract  PDF
• DAIMI Report Series No. 119 (1980): PB-119 Attribute-Influenced LR Parsing - Articles
  Attribute-Influenced LR Parsing
  Abstract  PDF
• DAIMI Report Series No. 128 (1981): PB-128 Flow Analysis of Lambda Expressions - Articles
  Flow Analysis of Lambda Expressions
  Abstract  PDF
• DAIMI Report Series No. 63 (1976): PB-63 Recognition of Deterministic ET0L Languages in Polynomial Time - Articles
  Recognition of Deterministic ET0L Languages in Polynomial Time
  Abstract  PDF
• DAIMI Report Series No. 148 (1982): PB-148 Mathematical Foundation of A Semantic Directed Compiler Generator - Articles
  Mathematical Foundation of A Semantic Directed Compiler Generator
  Abstract  PDF