1342 search results - page 107 / 269 » Ordered Programs as Abductive Systems |
183
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
171
click to vote
JALC
2006
15 years 6 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
164
click to vote
ESOP
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
144
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
165
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...