899 search results - page 37 / 180 » A CTL-Based Logic for Program Abstractions |
129
click to vote
EUROGP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...
110
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
116
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
107
click to vote
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
141
click to vote
LICS
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...