3736 search results - page 229 / 748 » Hand-Writing Program Generator Generators |
207
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
145
click to vote
IFL
2005
Springer
16 years 1 days ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
158
click to vote
RISE
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
203
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
141
click to vote
ICCHP
2004
Springer
15 years 12 months ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...