346 search results - page 13 / 70 » Toward a Model of Type Inheritance |
CSFW
2004
IEEE
14 years 14 days ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
CMS
2006
13 years 10 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
PADL
1999
Springer
14 years 1 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...