Showing 1–20 of 24 results
/ Date/ Name
Aug 7, 2020An Experiment Combining Specialization with Abstract InterpretationJul 14, 2016Proceedings 3rd Workshop on Horn Clauses for Verification and SynthesisMay 15, 2014Analysis and Transformation Tools for Constrained Horn Clause VerificationAug 24, 2017Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Mar 23, 2018Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program TransformationJul 29, 2019Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost AnalysisAug 20, 2019Polyvariant Program Specialisation with Property-based AbstractionAug 7, 2020From Big-Step to Small-Step Semantics and Back with Interpreter SpecialisationMar 5, 2018Tree dimension in verification of constrained Horn clausesJul 15, 2016Solving non-linear Horn clauses using a linear Horn clause solverNov 11, 2015Optimised determinisation and completion of finite tree automataJul 31, 2019Towards a General Framework for Static Cost Analysis of Parallel Logic ProgramsAug 2, 2021Analysis and Transformation of Constrained Horn Clauses for Program VerificationJan 25, 2016Interpolant Tree Automata and their Application in Horn Clause VerificationMay 17, 2016An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy ModelDec 12, 2015Decomposition by tree dimension in Horn clause verificationOct 14, 2015Fine-Grained Energy Modeling for the Source Code of a Mobile ApplicationSep 10, 2021Regular Path Clauses and Their Application in Solving LoopsNov 4, 2015Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IRApr 17, 2018An iterative approach to precondition inference using constrained Horn clauses