730 search results - page 9 / 146 » Security-typed programming within dependently typed programm... |
ESOP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
TACAS
2007
Springer
14 years 25 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
AFP
2008
Springer
14 years 1 months ago
2008
Springer
LICS
2000
IEEE
13 years 11 months ago
2000
IEEE
CSFW
2006
IEEE
14 years 23 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...