3693 search results - page 558 / 739 » Splitting a Logic Program |
126
Voted
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
110
click to vote
ICLP
1990
Springer
15 years 6 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
106
Voted
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
136
Voted
CIE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...