718 search results - page 37 / 144 » Extraction of Structured Programs from Specification Proofs |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
ICFP
1997
ACM
14 years 27 days ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
EMSOFT
2007
Springer
14 years 19 days ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
ENTCS
2008
13 years 8 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
AAAI
2000
13 years 10 months ago
2000
Text mining concerns applying data mining techniques to unstructured text. Information extraction (IE) is a form of shallow text understanding that locates specific pieces of data...