540 search results - page 14 / 108 » Protection in Programming-Language Translations |
147
Voted
IFL
2001
Springer
15 years 10 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...
141
Voted
FSTTCS
2007
Springer
16 years 16 days 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...
176
Voted
ASPLOS
2006
ACM
16 years 10 days 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...
166
Voted
JAR
2010
15 years 4 months 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...
203
Voted
TCS
1998
15 years 6 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...