Jones, Neil D.
Jones, Neil D., 1941-....
Jones, N.
Jones, N. D.
Neil D. Jones American computer scientist & Danish knight
VIAF ID: 68904639 ( Personal )
Permalink: http://viaf.org/viaf/68904639
Preferred Forms
- 200 _ | ‡a Jones ‡b Neil D.
-
- 100 1 _ ‡a Jones, N.
-
-
-
- 100 1 _ ‡a Jones, Neil D.
-
- 100 1 _ ‡a Jones, Neil D.
- 100 1 _ ‡a Jones, Neil D.
-
- 100 1 _ ‡a Jones, Neil D.
-
-
- 100 1 _ ‡a Jones, Neil D. ‡d 1941-
-
- 100 1 _ ‡a Jones, Neil D., ‡d 1941-
-
- 100 1 _ ‡a Jones, Neil D., ‡d 1941-....
- 100 0 _ ‡a Neil D. Jones ‡c American computer scientist & Danish knight
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
CAAP '90 | |
Computability and complexity : from a programming perspective | |
Computability theory : an introduction | |
Cracow | |
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings | |
ESOP'90 | |
The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones | |
Formal languages and rudimentary attributes | |
Logic, language and computation : Festschrift in honor of Satoru Takasu | |
Partial evaluation and automatic program generation | |
Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 | |
Program flow analysis : theory and applications | |
Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 | |
Programs improvements, complexity and meanings ; 07.06.1998 - 12.06.1998 | |
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE | |
Semantic analyses of congruence. | |
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 | |
Structures under shock and impact X | |
Tempo : a unified treatment of binding time and parameter passing concepts in programming languages | |
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings |