Skip to content

Mechanisms for Compile-Time Enforcement of Security.

Robert E. Strom

VenueA*POPL
Year1983
ProceedingsPOPL

Browse the full POPL paper archive.