关注
Neil Jones
Neil Jones
未知所在单位机构
在 diku.dk 的电子邮件经过验证
标题
引用次数
引用次数
年份
Partial evaluation and automatic program generation
ND Jones, CK Gomard, P Sestoft
Peter Sestoft, 1993
22851993
The size-change principle for program termination
CS Lee, ND Jones, AM Ben-Amram
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
5642001
Flow analysis and optimization of LISP-like structures
ND Jones, SS Muchnick
Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of …, 1979
4941979
Space-bounded reducibility among combinatorial problems
ND Jones
Journal of Computer and System Sciences 11 (1), 68-85, 1975
4331975
Complete problems for deterministic polynomial time
ND Jones, WT Laaser
Proceedings of the sixth annual ACM symposium on Theory of computing, 40-46, 1974
4101974
An introduction to partial evaluation
ND Jones
ACM Computing Surveys (CSUR) 28 (3), 480-503, 1996
4011996
An experiment in partial evaluation: the generation of a compiler generator
ND Jones, P Sestoft, H Søndergaard
ACM SIGPLAN Notices 20 (8), 82-87, 1985
3611985
Complexity of some problems in Petri nets
ND Jones, LH Landweber, YE Lien
Theoretical Computer Science 4 (3), 277-299, 1977
3581977
Computability and complexity: from a programming perspective
ND Jones
MIT press, 1997
3551997
Markers and mapping: we are all geneticists now
N Jones, H Ougham, H Thomas
The New Phytologist 137 (1), 165-177, 1997
3471997
Mix: a self-applicable partial evaluator for experiments in compiler generation
ND Jones, P Sestoft, H Søndergaard
Lisp and Symbolic computation 2, 9-50, 1989
3421989
Program flow analysis: Theory and applications
SS Muchnick, ND Jones
Prentice-Hall, 1981
3421981
A flexible approach to interprocedural data flow analysis and programs with recursive data structures
ND Jones, SS Muchnick
Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of …, 1982
2961982
Abstract interpretation: a semantics-based tool for program analysis
F Nielson, N Jones
Handbook of logic in computer science 4, 527-636, 1994
2851994
B chromosomes in plants: escapees from the A chromosome genome?
N Jones, A Houben
Trends in plant science 8 (9), 417-423, 2003
2842003
Markers and mapping revisited: finding your gene.
N Jones, H Ougham, H Thomas, I Pašakinskienė
New phytologist 183 (4), 2009
2442009
A positive supercompiler
MH Soerensen, R Glück, ND Jones
Journal of functional programming 6 (6), 811-838, 1996
2301996
Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987
D Bjorner, ND Jones, AP Ershov
Elsevier Science Inc., 1988
2011988
A partial evaluator for the untyped lambda-calculus
CK Gomard, ND Jones
Journal of functional programming 1 (1), 21-69, 1991
1941991
New problems complete for nondeterministic log space
ND Jones, YE Lien, WT Laaser
Mathematical systems theory 10, 1-17, 1976
1921976
系统目前无法执行此操作,请稍后再试。
文章 1–20