540 search results - page 44 / 108 » Protection in Programming-Language Translations |
235
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
109
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
129
Voted
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
110
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We ļ¬rst deļ¬ne a proof system for a low-level code language based on...
98
Voted
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Inner classes in object-oriented languages play a role similar to nested function deļ¬nitions in functional languages, allowing an object to export other objects with direct acces...