5198 search results - page 744 / 1040 » A Logic of Agent Programs |
169
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...
149
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
184
click to vote
IFL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
169
click to vote
PADL
2007
Springer
16 years 26 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
144
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...