899 search results - page 66 / 180 » A CTL-Based Logic for Program Abstractions |
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 ...
129
Voted
LICS
1992
IEEE
15 years 4 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
115
click to vote
ICMLA
2010
14 years 10 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
124
Voted
PADL
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
118
click to vote
CADE
2011
Springer
14 years 18 days ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...