4386 search results - page 406 / 878 » A Tamper-Resistant Programming Language System |
161
click to vote
PDPTA
2007
15 years 5 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
141
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
129
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
153
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
136
Voted
IFL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...