1573 search results - page 135 / 315 » Signs and Formal Concepts |
110
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
122
click to vote
CSFW
1998
IEEE
15 years 6 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
117
Voted
TYPES
1999
Springer
15 years 6 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
109
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
118
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...