18 citations
- IMDEA MaterialsES8 papers
- Universidad Politécnica de MadridES7 papers
- Madrid Institute for Advanced StudiesES3 papers
- IMDEA Software InstituteES2 papers
- Universidad Autónoma de MadridES2 papers
- Argonne National LaboratoryUS1 paper
- Bavarian Center for Applied Energy ResearchDE1 paper
- Central South UniversityCN1 paper
- Czech Academy of Sciences, Institute of Computer ScienceCZ1 paper
- Délégation Paris 7FR1 paper
- Karlsruhe Institute of TechnologyDE1 paper
- Los Alamos National LaboratoryUS1 paper
Showing 2021 · cs.PLShow all
2 papers · 2 filters
cs.PL2021★ 3 cited
Transformation-Enabled Precondition Inference
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey +2
Precondition inference is a non-trivial problem with important applications in program analysis and verification. We present a novel iterative method for automatically deriving pre…
cs.PL2021
VeriFly: On-the-fly Assertion Checking via Incrementality
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco +3
Assertion checking is an invaluable programmer's tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For Prolog programmers this…