884 search results - page 109 / 177 » Using Nested Logic Programs for Answer Set Programming |
109
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
128
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
146
click to vote
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
122
click to vote
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
125
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...