Вы здесь

Gallagher J. P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Static Analysis for Logic Program Specialisation 1992 Gallagher J. P. BIGRE 11.11.1992
СТ Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types 1994 Marakakis E., Gallagher J. P. Lecture Notes in Computer Science 12.01.1995
СТ A Transformation System for Definite Programs Based on Termination Analysis 1994 Cook J., Gallagher J. P. Lecture Notes in Computer Science 12.01.1995
СТ Analysis of Imperative Programs through Analysis of Constraint Logic Programs 1998 Peralta J. C., Gallagher J. P., Saglam H. Lecture Notes in Computer Science 01.10.1998
СТ Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs 1998 Lafave L., Gallagher J. P. Lecture Notes in Computer Science 14.10.1998
СТ Imperative Program Specialisation: An Approach Using CLP 2000 Peralta J. C., Gallagher J. P. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs 2002 Gallagher J. P., Puebla G. Lecture Notes in Computer Science 27.02.2002
СТ Convex Hull Abstractions in Specialization of CLP Programs 2003 Peralta J. C., Gallagher J. P. Lecture Notes in Computer Science 20.09.2003
СТ A Program Transformaton for Backwards Analysis of Logic Programs 2004 Gallagher J. P. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic-Based Program Synthesis and Transformation: Revised Selected Papers/27th International Symposium, LOPSTR 2017, Namur, Belgium, October 2017 2018
  1. Fioravanti F.
  2. Gallagher J. P.
27.09.2018