31387 search results - page 444 / 6278 » Abstracts |
176
click to vote
TPHOL
2005
IEEE
16 years 1 months ago
2005
IEEE
We discuss methods for dealing effectively with let-bindings in proofs. Our contribution is a small set of unconditional rewrite rules, found by the bracket abstraction translatio...
205
click to vote
APLAS
2005
ACM
16 years 1 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
192
click to vote
ASM
2005
ASM
16 years 1 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
180
click to vote
ASM
2005
ASM
16 years 1 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
194
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...