1401 search results - page 4 / 281 » Tool Integration for Reasoned Programming |
ASP
2003
Springer
14 years 22 days ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
SIGADA
2004
Springer
14 years 25 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
CASCON
2001
13 years 9 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
SIGADA
1998
Springer
13 years 11 months ago
1998
Springer
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...