8766 search results - page 529 / 1754 » Functional logic programming |
131
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
130
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
124
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
155
click to vote
LCPC
1999
Springer
15 years 9 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
133
click to vote
EPIA
2009
Springer
15 years 11 months ago
2009
Springer
Inductive Logic Programming (ILP) [1] systems are general purpose learners that have had significant success on solving a number of relational problems, particularly from the biol...