The following pages link to (Q4813396):
Displayed 4 items.
- CiaoPP (Q24023) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← 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)