John P. Gallagher - Dissemin

Language
Login

All papers authored by John P. Gallagher

Distributing this paper is prohibited by the publisher

2023 John P. Gallagher

ORCID

, Manuel Hermenegildo

ORCID

, José Morales

ORCID

, Pedro Lopez-Garcia

ORCID

Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

Upload

This paper was not found in any repository, but could be made available legally by the author.

2021 Emanuele De Angelis

ORCID

, Fabio Fioravanti

ORCID

, John P. Gallagher

ORCID

, Manuel V. Hermenegildo

ORCID

, Alberto Pettorossi

ORCID

, Maurizio Proietti

ORCID

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Upload

This paper was not found in any repository, but could be made available legally by the author.

2020 Maximiliano Klemen

ORCID

, Pedro López-García

ORCID

, John P. Gallagher

ORCID

, José F. Morales

ORCID

, Manuel V. Hermenegildo

ORCID

A General Framework for Static Cost Analysis of Parallel Logic Programs

Upload

Missing publications? Search for publications with a matching author name.