3228 search results - page 370 / 646 » Basics of Compiler Design |
161
click to vote
CACM
2010
15 years 6 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
167
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This article describes an exclusively resource-based method of morphological annotation of written Korean text. Korean is an agglutinative language. Our annotator is designed to p...
181
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
174
Voted
NAR
2008
15 years 6 months ago
2008
Many Microbe Microarrays Database (M3D ) is designed to facilitate the analysis and visualization of expression data in compendia compiled from multiple laboratories. M3D contains...
181
click to vote
TCS
2008
15 years 6 months ago
2008
In the context of Featherweight Java by Igarashi, Pierce, and Wadler, and its recent extension FeatherTrait Java (FTJ) by the authors, we investigate classes that can be extended ...