3470 search results - page 181 / 694 » Head-Elementary-Set-Free Logic Programs |
165
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
355
click to vote
FM
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
172
click to vote
LOPSTR
1997
Springer
15 years 10 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
168
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...
163
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...