80 search results - page 8 / 16 » Insecure Programming: How Culpable is a Language's Syntax |
130
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
123
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
ENTCS
2008
15 years 2 months ago
2008
Although programs convey an unambiguous meaning, the grammars used in practice to describe their syntax are often ambiguous, and completed with disambiguation rules. Whether these...
118
Voted
PADL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
113
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...