Pages that link to "Item:Q5504599"
From MaRDI portal
The following pages link to A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599):
Displaying 21 items.
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling (Q2798274) (← links)
- Test Data Generation of Bytecode by CLP Partial Evaluation (Q3617426) (← links)
- (Q4506393) (← links)
- A general framework for static profiling of parametric resource usage (Q4593063) (← links)
- Introduction to the special issue on computational logic for verification (Q4644352) (← links)
- Predicate Pairing for program verification (Q4644353) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- (Q5020649) (← links)
- (Q5020652) (← links)
- Three improvements to the top-down solver (Q5084314) (← links)
- A General Framework for Static Cost Analysis of Parallel Logic Programs (Q5097623) (← links)
- Incremental Analysis of Logic Programs with Assertions and Open Predicates (Q5097624) (← links)
- Computing Abstract Distances in Logic Programs (Q5097625) (← links)
- VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i> (Q6063866) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Regular path clauses and their application in solving loops (Q6647300) (← links)
