6740 search results - page 630 / 1348 » Using Classification as a Programming Language |
184
click to vote
SMA
2003
ACM
15 years 11 months ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
322
Voted
Book
"Assuming that you want to learn C++, why should you read this book rather than any of dozens of other introductory C++ books? One difference between this book and other intro...
284
Voted
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
158
click to vote
SCAM
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
158
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...