9 search results - page 1 / 2 » A lightweight approach to datatype-generic rewriting |
ICFP
2006
ACM
14 years 4 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
ICFP
2008
ACM
14 years 4 months ago
2008
ACM
VLDB
2004
ACM
13 years 10 months ago
2004
ACM
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...
FUIN
2006
13 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
WWW
2010
ACM
13 years 11 months ago
2010
ACM
Duplicate URLs have brought serious troubles to the whole pipeline of a search engine, from crawling, indexing, to result serving. URL normalization is to transform duplicate URLs...