890 search results - page 26 / 178 » Programming language methods in computer security |
206
Voted
POPL
2006
ACM
16 years 26 days ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
105
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
110
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
94
Voted
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...