4257 search results - page 345 / 852 » The Logical Modularity of Programs |
190
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
202
click to vote
IGPL
2006
15 years 6 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
157
click to vote
CSMR
2009
IEEE
16 years 1 months ago
2009
IEEE
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...
148
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
155
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...