3 |
Eliminating Covert Flows with Minimum Typings
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
4 |
A Sound Polymorphic Type System for a Dialect of C (PREPRINT)
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
7 |
A type inference algorithm and transition semantics for polymorphic C
|
|
Özgen, Mustafa. - : Monterey, California. Naval Postgraduate School, 1996
|
|
BASE
|
|
Show details
|
|
|
|