EasyChair Smart SlideDocs/Log in
Author: John P. Gallagher

This page shows all presentations of this author published in EasyChair Smart Slide.

An iterative approach to precondition inference using constrained Horn clauses

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter J. Stuckey

Control-Flow Refinement via Partial Evaluation

Control-Flow Refinement via Partial Evaluation

Jesús J. Doménech, Samir Genaim and John P. Gallagher

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair