203 search results - page 33 / 41 » Datatype-Generic Termination Proofs |
116
Voted
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
110
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
115
click to vote
FASE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
131
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
HeteroSort load balances and sorts within static or dynamic networks. Upon failure of a node or path, HeteroSort uses a genetic algorithm to minimize the distribution path by optim...
121
click to vote
CSFW
1997
IEEE
15 years 6 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...