Pinned Repositories
chclibs
Constrained Horn clause libraries
DFTA
Determinisation and Completion of Finite Tree Automata
absint4pe
Abstract interpreters designed to be specialised
ict-e-summerschool-aalborg
Material for lectures on Energy Aware Software Engineering, Aalborg, Aug 2016. K. Eder and J. Gallagher
LHA
Abstract interpretation to verify properties of linear hybrid automata
pe
Partial evaluation for Prolog
pecos
CHC solver based on partial evaluation and constraint specialisation
science-book-ch3
Chapter 3 of ICT-Energy Science Book
Semantics4PE
Semantics-based interpreters intended for specialisation
TypeInference
jpgallagher's Repositories
jpgallagher/pe
Partial evaluation for Prolog
jpgallagher/pecos
CHC solver based on partial evaluation and constraint specialisation
jpgallagher/Semantics4PE
Semantics-based interpreters intended for specialisation
jpgallagher/LHA
Abstract interpretation to verify properties of linear hybrid automata
jpgallagher/absint4pe
Abstract interpreters designed to be specialised
jpgallagher/ict-e-summerschool-aalborg
Material for lectures on Energy Aware Software Engineering, Aalborg, Aug 2016. K. Eder and J. Gallagher
jpgallagher/science-book-ch3
Chapter 3 of ICT-Energy Science Book
jpgallagher/TypeInference