The following pages link to (Q4702568):
Displaying 15 items.
- Testing your (static analysis) truths (Q2119122) (← links)
- Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) (Q2568449) (← links)
- (Q4499250) (← links)
- (Q4499257) (← links)
- (Q4499271) (← links)
- Practical run-time checking via unobtrusive property caching (Q4593012) (← links)
- Description and Optimization of Abstract Machines in a Dialect of Prolog (Q4593018) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
- Incremental Analysis of Logic Programs with Assertions and Open Predicates (Q5097624) (← links)
- An Integrated Approach to Assertion-Based Random Testing in Prolog (Q5097633) (← links)
- Integrated Formal Methods (Q5901620) (← 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)
