4386 search results - page 188 / 878 » A Tamper-Resistant Programming Language System |
140
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
114
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
129
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
108
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
103
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...