Sciweavers

62 search results - page 10 / 13
» Aspect language features for concern coverage profiling
Sort
View
POPL
2010
ACM
14 years 7 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala
ICPR
2006
IEEE
14 years 3 months ago
An Iterative Algorithm for Segmentation of Isolated Handwritten Words in Gurmukhi Script
Segmentation of handwritten text in Gurmukhi script is an uphill task primarily because of the structural features of the script and varied writing styles. The presence of a horiz...
Dharam Veer Sharma, Gurpreet Singh Lehal
OOPSLA
2004
Springer
14 years 3 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
ECOOP
2006
Springer
14 years 1 months ago
A Semantic Analysis of C++ Templates
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
Jeremy G. Siek, Walid Taha
VLDB
1997
ACM
132views Database» more  VLDB 1997»
14 years 1 months ago
A Foundation for Multi-dimensional Databases
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
Marc Gyssens, Laks V. S. Lakshmanan