4386 search results - page 308 / 878 » A Tamper-Resistant Programming Language System |
116
Voted
LPAR
2000
Springer
15 years 7 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
112
Voted
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
127
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
122
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
133
Voted
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...