25 search results - page 3 / 5 » Typed Intermediate Languages for Shape Analysis |
PVLDB
2008
13 years 5 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
ICDAR
2005
IEEE
13 years 11 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
ICDAR
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper presents a language identification technique that detects Latin-based languages of imaged documents without OCR. The proposed technique detects languages through the wo...
VMCAI
2010
Springer
14 years 3 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
FOSSACS
2003
Springer
13 years 11 months ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...