890 search results - page 41 / 178 » Programming language methods in computer security |
143
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
108
Voted
ACMIDC
2009
15 years 3 months ago
2009
We propose simple tangible language elements for very young children to use when constructing programmes. The equivalent Turtle Talk instructions are given for comparison. Two exa...
117
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
94
Voted
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
111
Voted
LISP
2008
15 years 12 days ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...