4386 search results - page 219 / 878 » A Tamper-Resistant Programming Language System |
168
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
126
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
77
Voted
LREC
2010
15 years 3 months ago
2010
This paper describes the Language Technology Resource Center (LTRC), a U.S. Government website for providing information and tools for users of languages (e.g., translators, analy...
135
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
113
Voted
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...