404 search results - page 3 / 81 » Multi-dimensional Dynamic Logic Programming |
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
POPL
2012
ACM
12 years 26 days ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
ENTCS
2000
13 years 5 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
ECOOP
2009
Springer
14 years 6 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
AGP
2003
IEEE
13 years 9 months ago
2003
IEEE
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...