4386 search results - page 242 / 878 » A Tamper-Resistant Programming Language System |
101
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
133
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
109
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
Several techniques have been proposed for adding persistence to the Java language environment. This paper describes a system we call icee that works by checkpointing the Java Virt...
126
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...