1588 search results - page 169 / 318 » Modular action language |
119
click to vote
AIPS
2004
15 years 5 months ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
172
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
127
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
126
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
151
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...