4386 search results - page 157 / 878 » A Tamper-Resistant Programming Language System |
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
127
click to vote
MSCS
2000
15 years 1 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
119
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
102
click to vote
SCM
1998
15 years 3 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...