2272 search results - page 120 / 455 » A Calculus for |
146
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
116
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
152
click to vote
ESORICS
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
137
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...
164
click to vote
LCPC
1995
Springer
15 years 7 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...