91 citations
- University of EdinburghGB3 papers
- Azerbaijan National Academy of SciencesAZ1 paper
- Ben-Gurion University of the NegevIL1 paper
- Boğaziçi UniversityTR1 paper
- Byurakan Astrophysical ObservatoryAM1 paper
- Collegio Carlo AlbertoIT1 paper
- Durham UniversityGB1 paper
- Ghent UniversityBE1 paper
- Isaac Newton Institute for Mathematical SciencesGB1 paper
- Istituto Nazionale di Fisica NucleareIT1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT1 paper
- Los Alamos National LaboratoryUS1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2004
Worst-Case Groundness Analysis Using Definite Boolean Functions
Samir Genaim, Michael Codish, Jacob M. Howe
This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Po…
cs.PL2003
Computing Convex Hulls with a Linear Solver
Florence Benoy, Andy King, Fred Mesnard
A programming tactic involving polyhedra is reported that has been widely applied in the polyhedral analysis of (constraint) logic programs. The method enables the computations of…