977 search results - page 90 / 196 » Logic programming with infinite sets |
113
Voted
AGP
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
124
Voted
CORR
2004
Springer
15 years 12 days ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
94
Voted
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
126
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...