3738 search results - page 19 / 748 » Parametrized Logic Programming |
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
ICLP
1991
Springer
13 years 11 months ago
1991
Springer
Interpretation of Logic Programs 1
POPL
2007
ACM
14 years 8 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
EUSFLAT
2009
13 years 5 months ago
2009
EPIA
2001
Springer
14 years 9 days ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...