1226 search results - page 57 / 246 » Proofs, Programs and Abstract Complexity |
130
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
126
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
111
click to vote
GECCO
2005
Springer
15 years 8 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 ...
117
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
124
click to vote
ASE
2004
15 years 3 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...