255 search results - page 10 / 51 » Proving BDI Properties of Agent-Oriented Programming Languag... |
155
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
199
click to vote
POPL
2008
ACM
16 years 1 days ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
77
Voted
POPL
2012
ACM
13 years 7 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
IFIP
1994
Springer
15 years 3 months ago
1994
Springer
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...
107
click to vote
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...