5465 search results - page 86 / 1093 » Assigning Types to Processes |
117
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
101
click to vote
TEX
2004
Springer
15 years 3 months ago
2004
Springer
This paper summarizes experiences in converting METAFONT fonts to PostScript fonts with TEXtrace and mftrace, based on programs of autotracing bitmaps (AutoTrace and potrace), and...
POPL
2000
ACM
15 years 2 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
LREC
2008
14 years 11 months ago
2008
We report the results of a study that investigates the agreement of anaphoric annotations. The study focuses on the influence of the factors text length and text type on a corpus ...