1205 search results - page 80 / 241 » Program Extraction from Large Proof Developments |
116
click to vote
CAEPIA
2003
Springer
15 years 6 months ago
2003
Springer
E–mail is one of the most common ways to communicate, assuming, in some cases, up to 75% of a company’s communication, in which every employee spends about 90 minutes a day in ...
124
click to vote
BIBE
2006
IEEE
15 years 7 months ago
2006
IEEE
DNA sequence alignment is a critical step in identifying homology between organisms. The most widely used alignment program, ClustalW, is known to suffer from the local minima pro...
107
click to vote
CC
2001
Springer
15 years 5 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
117
click to vote
WCRE
1993
IEEE
15 years 5 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
117
click to vote
DAS
2008
Springer
15 years 3 months ago
2008
Springer
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...