8197 search results - page 456 / 1640 » Adaptive functional programming |
211
click to vote
UAI
2003
15 years 9 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
194
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
183
click to vote
ATAL
2003
Springer
16 years 25 days ago
2003
Springer
Managers of systems of shared resources typically have many separate goals. Examples are efficient utilization of the resources among its users and ensuring no user’s satisfacti...
240
click to vote
TYPES
2000
Springer
15 years 11 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
195
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...