4257 search results - page 29 / 852 » The Logical Modularity of Programs |
AAAI
2012
11 years 11 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
PLPV
2010
ACM
14 years 6 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
ICFP
2002
ACM
14 years 9 months ago
2002
ACM
POPL
2010
ACM
14 years 6 months ago
2010
ACM
AOSD
2008
ACM
13 years 11 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...