3481 search results - page 477 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
132
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
237
click to vote
POPL
2007
ACM
16 years 4 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...
141
click to vote
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
142
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
129
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...