Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

John P. Gallagher

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Germán Puebla

> Home > Persons > John P. Gallagher

Publications

2009
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/AlbertGGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/AlbertGGP09
Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009)
2007
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlbertGGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlbertGGP07
Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR 2007: 23-42
2005
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlbertPG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlbertPG05
Elvira Albert, Germán Puebla, John P. Gallagher:
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR 2005: 115-132
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GallagherPA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GallagherPA05
John P. Gallagher, Germán Puebla, Elvira Albert:
Converting One Type-Based Abstract Domain to Another. LOPSTR 2005: 147-162
2002
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/GallagherP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/GallagherP02
John P. Gallagher, Germán Puebla:
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. PADL 2002: 243-261
1999
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pepm/PueblaHG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/PueblaHG99
Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher:
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.