The following pages link to (Q2723933):
Displaying 18 items.
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Testing your (static analysis) truths (Q2119122) (← links)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← 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)
- Semantic code browsing (Q4593054) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
- (Q5020541) (← links)
- Incremental Analysis of Logic Programs with Assertions and Open Predicates (Q5097624) (← links)
- Computing Abstract Distances in Logic Programs (Q5097625) (← links)
- An Integrated Approach to Assertion-Based Random Testing in Prolog (Q5097633) (← links)
- VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i> (Q6063866) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
