POPL
2000
ACM
13 years 8 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
EDBTW
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
AOSD
2007
ACM
13 years 9 months ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
TIC
1998
Springer
13 years 9 months ago
1998
Springer
Suppose we translate two different source languages,
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
APLAS
2006
ACM
13 years 11 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 ...
FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...