4126 search results - page 371 / 826 » Set based logic programming |
130
click to vote
DEXA
1994
Springer
15 years 8 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
153
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
170
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
157
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
127
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...