12 search results - page 3 / 3 » Circular Coinductive Rewriting |
DSL
2009
13 years 3 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...