2 search results - page 1 / 1 » Eliminating Covert Flows with Minimum Typings |
94
Voted
CSFW
1997
IEEE
15 years 2 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
81
Voted
AEI
1999
14 years 10 months ago
1999
Multihop lightwave networks are a means of utilizing the large bandwidth of optical fibers. In these networks, each node has a fixed number of transmitters and receivers connected...