4386 search results - page 102 / 878 » A Tamper-Resistant Programming Language System |
169
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
105
click to vote
ECOOP
1994
Springer
15 years 5 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
122
click to vote
GPCE
2008
Springer
15 years 2 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
129
click to vote
PADL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
108
click to vote
LISP
2002
15 years 1 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...