The following pages link to (Q4813396):
Displaying 6 items.
- CiaoPP (Q24023) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Testing your (static analysis) truths (Q2119122) (← links)
- (Q3528784) (← links)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599) (← links)
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (Q5504687) (← links)