3690 search results - page 559 / 738 » Computation with classical sequents |
196
click to vote
ESOP
2005
Springer
16 years 2 days ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
154
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
169
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
155
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
158
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
As artificial life systems grow in number and sophistication, it is becoming increasingly important that the field agree on principled metrics for evaluating them. This report d...