The following pages link to Programming Languages and Systems (Q5308711):
Displaying 5 items.
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Generating data flow analysis algorithms from modal specifications (Q1330457) (← links)
- Extracting a data flow analyser in constructive logic (Q2566027) (← links)
- Building Certified Static Analysers by Modular Construction of Well-founded Lattices (Q5415621) (← links)