1164 search results - page 8 / 233 » Integration of a security type system into a program logic |
IJCAI
1993
13 years 8 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
ICFP
2000
ACM
13 years 11 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
FLOPS
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
ECIS
2003
13 years 8 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...