4386 search results - page 404 / 878 » A Tamper-Resistant Programming Language System |
113
Voted
IFIP
1992
Springer
15 years 8 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
127
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
133
click to vote
POPL
1995
ACM
15 years 7 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
124
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
138
Voted
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...