The following pages link to Ferruccio Damiani (Q235603):
Displaying 4 items.
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- A type safe state abstraction for coordination in JAVA-like languages (Q1006341) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
