Publication
Tool
MSIL backend for lcc v4.2
An lcc v4.2 backend that emits MSIL. Last published: December 11, 2002.
Publication
Shallow Finite State Verification
Publication
Reconsidering Custom Memory Allocation
Publication