1359 search results - page 46 / 272 » Black-Box Program Specialization |
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The program Synarcher for synonym (and related terms) search in the text corpus of special structure (Wikipedia) was developed. The results of the search are presented in the form...
123
click to vote
CAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
125
click to vote
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
113
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...
125
click to vote
CIE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...