Вы здесь

Главная

Jones N. D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Program Generation, Termination, and Binding-Time Analysis 2002 Jones N. D., Glenstrup A. J. Lecture Notes in Computer Science 23.11.2002
СТ Computational Complexity via Programming Languages: Constant Factors Do Matter 2000 Ben-Amram A. M., Jones N. D. Acta Informatica 09.11.2000
СТ The Essence of Program Transformation by Partial Evaluation and Driving 2000 Jones N. D. Lecture Notes in Computer Science 18.02.2000
СТ Partial Evaluation for the Lambda Calculus 1999 Jones N. D., Gomard C. K., Sestoft P. Lecture Notes in Computer Science 15.12.1999
М Computability and Complexity 1997 Jones N. D. From a Programming Perspective 18.05.1999
СТ Constant Time Factors Do Matter 1993 Jones N. D. ACM Symp. on Theory of Computing 1993 22.05.1998
СТ Combining Abstract Interpretation and Partial Evaluation (brief overview) 1997 Jones N. D. Lecture Notes in Computer Science 20.09.1997
СТ Mix Ten Years Later 1995 Jones N. D. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ What Not to Do When Writing an Interpreter for Specialisation 1996 Jones N. D. Lecture Notes in Computer Science Partial Evaluation 10.10.1996
СТ Abstract Interpretation and Partial Evaluation in Functional and Logic Programming 1994 Jones N. D. Logic Programming. Proc. of the 1994 Intern. Symp. 30.01.1996
СТ Partial Evaluation and the Generation of Program Generators 1994 Jones N. D. Czech Society for Computer Science, Slovak Society for Computer Science XXI SOFSEM 94 09.09.1995
СТ Higher-Order Minimal Function Graphs 1994 Jones N. D., Rosendahl M. Lecture Notes in Computer Science 01.11.1994
СТ Denotational Abstract Interpretation of Logic Programs 1994 Mariott K., Sondergaard H., Jones N. D. ACM Trans. Programming Languages and Systems 01.09.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Verification, Model Checking, and Abstract Interpretation: Proc./100th International Conference, VMCAI 2009, Savannah, GA, USA, January 2009 2009 Lecture Notes in Computer Science
  1. Jones N. D.
  2. Muller-Olm M.
 15.05.2009
СБ Logic, Language and Computation: Festschrift in Honor of Satoru Takasu 1994 Lecture Notes in Computer Science
  1. Jones N. D.
  2. Hagiya M.
  3. Sato M.
 13.05.1994
СБ Partial Evaluation and Mixed Computation: Proc./IFIP TC 2 Workshop on Partial Evaluation and Mixed Computation, Gammel, Denmark, October 1987 1988
  1. Bjorner D.
  2. Ershov A. P.
  3. Jones N. D.
 15.11.1988