The Reference Component of PEP
No abstract available.
Related papers
- The PEP Tool CAV 1997
- Real-Time Systems Design with PEP TACAS 2002
- PEP - More than a Petri Net Tool TACAS 1996
- Cross-component garbage collection OOPSLA 2018
- Scalable component abstractions OOPSLA 2005
- From structures and functors to modules and units ICFP 2006
- M3: high-performance memory management from off-the-shelf components ISMM 2014
- Aggregate Structure Identification and Its Application to Program Analysis POPL 1999