The following pages link to (Q4411953):
Displayed 11 items.
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (Q980470) (← links)
- Non-strict independence-based program parallelization using sharing and freeness information (Q1035704) (← links)
- Testing your (static analysis) truths (Q2119122) (← links)
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling (Q2798274) (← 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)
- (Q5020543) (← links)
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (Q5108525) (← links)
- Data type inference for logic programming (Q6102248) (← links)