4281 search results - page 118 / 857 » How to Disembed a Program |
124
click to vote
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
147
Voted
AAMAS
2011
Springer
14 years 9 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
126
click to vote
EUROGP
2003
Springer
15 years 7 months ago
2003
Springer
Teleo-reactive programs and the triple tower architecture have been proposed as a framework for linking perception and action in agents. The triple tower architecture continually u...
122
click to vote
DBPL
1991
Springer
15 years 5 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
129
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...