كتب بواسطة Neil D. Jones - BookPine

Computability and Complexity: From a Programming Perspective

Neil D. Jones

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Neil D. Jones

Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language, and Computation: Festschrift in Honor of Satoru Takasu

Neil D. Jones

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science

Neil D. Jones

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Neil D. Jones

Partial Evaluation and Automatic Program Generation

Partial Evaluation and Automatic Program Generation

Neil D. Jones

ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

Neil D. Jones

Esop '90: Proceedings

Esop '90: Proceedings

Neil D. Jones

Program Flow Analysis: Theory and Applications

Program Flow Analysis: Theory and Applications

Neil D. Jones

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Neil D. Jones

Semantics-Directed Compiler Generation: Proceedings of a Workshop (Aarhus, Denmark, January, 1980)

Semantics-Directed Compiler Generation: Proceedings of a Workshop (Aarhus, Denmark, January, 1980)

Neil D. Jones

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Neil D. Jones

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

Neil D. Jones

Computability theory: an introduction

Computability theory: an introduction

Neil D. Jones