Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

20022018
If you made any changes in Pure these will be visible here soon.

Research Output 2002 2018

Filter
Book chapter
2017

Energy-Aware Software Engineering

Eder, K. & Gallagher, J. P. 22 Mar 2017 ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, p. 103-127

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File

Energy Challenges for ICT

Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J. 22 Mar 2017 ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, 37 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access
File
2004

Inferring Polymorphic Types from Logic Programs

Bruynooghe, M. & Gallagher, J. P. 2004 Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation. Etalle, S. (ed.). Verona, Italien, p. 244 - 259

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

2003

A Program Transformation for Backwards Analysis of Logic Programs

Gallagher, J. P. 2003 Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003. Bruynooghe, M. (ed.). Uppsala: Springer, p. 92-105 14 p. (Lecture Notes in Computer Science, Vol. 3018).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Open Access
File
2002

Abstract interpretation over non-deterministic finite tree automate for set-based analysis of logic programs

Gallagher, J. P. & Puebla, G. 2002 Practical aspects of declarative languages, 4th International Symposium, PADL 2002: Portland, OR, USA. Krishnamurthi, S. & Ramakrishnan, C. R. (eds.). Springer, p. 243-261 (Lecture Notes in Computer Science, Vol. 2257).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Open Access
File

Combining norms to prove termination

Genaim, S., Codish, M., Gallagher, J. P. & Lagoon, V. 2002 Verification, model checking, and abstract interpretation, Third International Workshop, VMCAI 2002: Venice, Italy, January 21-22, 2002. Cortesi, A. (ed.). Springer, p. 126-138 (Lecture Notes in Computer Science, Vol. 2294).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Open Access
File

Convex hull abstractions in specialisation of CLP programs

Peralta, J. C. & Gallagher, J. P. 2002 Pre-proceedings of LOPSTR'02, Madrid, 17-20 September 2002. Leuschel, M. & Bueno, F. (eds.). Madrid: Universidad Politécnica de Madrid, p. 104-114

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Whatever happened to meta-programming? (Invited talk)

Gallagher, J. P. 2002 AGP-2002, Madrid, 17-20 September 2002. Madrid: Universidad Politécnica de Madrid

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Open Access
File