4355 search results - page 361 / 871 » From Interpretation to Compilation |
177
click to vote
WCE
2007
15 years 8 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
186
click to vote
WCE
2007
15 years 8 months ago
2007
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
179
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
206
click to vote
ENTCS
2006
15 years 6 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
174
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...