The following pages link to Programming Languages and Systems (Q5902362):
Displaying 6 items.
- Types and trace effects for object orientation (Q1029806) (← links)
- Automation of the construction of models of normal program behavior (Q1758718) (← links)
- Language-based program verification via expressive types (Q2866340) (← links)
- A Computational Interpretation of Context-Free Expressions (Q5056002) (← links)
- Resource usage analysis (Q5178917) (← links)
- Programming Languages and Systems (Q5316573) (← links)