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
|
|
8 |
Towards an ML-style Polymorphic Type System for C
|
|
|
|
In: DTIC (1996)
|
|
BASE
|
|
Show details
|
|
|
|