4386 search results - page 203 / 878 » A Tamper-Resistant Programming Language System |
109
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
101
Voted
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
It is becoming increasingly clear that we are entering a new era in systems software. As the age-old tension between structure and performance acquiesces, we can finally venture b...
99
Voted
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
94
Voted
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
105
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...