1776 search results - page 225 / 356 » Using a Logic Programming Language with Persistence and Cont... |
123
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
129
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
141
click to vote
PLILP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
127
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
157
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...