3736 search results - page 88 / 748 » Hand-Writing Program Generator Generators |
113
click to vote
ICLP
1993
Springer
15 years 6 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
109
click to vote
ANOR
2005
15 years 2 months ago
2005
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
119
click to vote
TPHOL
1994
IEEE
15 years 6 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
127
Voted
SAIG
2000
Springer
15 years 5 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
117
click to vote
SSR
2001
15 years 3 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...