2137 search results - page 218 / 428 » Proving Abstract Non-interference |
132
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
139
click to vote
PLILP
1992
Springer
15 years 7 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...
119
Voted
WDAG
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. The Choice Coordination Problem with k alternatives (kCCP) was introduced by Rabin in 1982 [Rab82]. The goal is to design a wait-free protocol for n asynchronous processe...
144
Voted
ICML
1989
IEEE
15 years 7 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
119
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...