4386 search results - page 351 / 878 » A Tamper-Resistant Programming Language System |
111
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
109
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
199
click to vote
SIGADA
2007
Springer
15 years 10 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
208
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
155
Voted
IEICET
2007
15 years 3 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...