540 search results - page 14 / 108 » Protection in Programming-Language Translations |
IFL
2001
Springer
15 years 7 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
94
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
131
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
120
Voted
JAR
2010
15 years 27 days ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
148
Voted
TCS
1998
15 years 2 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...