8232 search results - page 403 / 1647 » Dynamic Logic Programming |
179
click to vote
AGP
2003
IEEE
16 years 3 days ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
154
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
212
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
175
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
192
click to vote
ICSM
1998
IEEE
15 years 11 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...