14 search results - page 1 / 3 » Semantic Preserving Language Conversion by Simple Pattern Ma... |
ECBS
1996
IEEE
13 years 9 months ago
1996
IEEE
JFP
2007
13 years 4 months ago
2007
We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, ...
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
ML
2008
ACM
13 years 4 months ago
2008
ACM
We address the issue of compiling ML pattern matching to compact and efficient decisions trees. Traditionally, compilation to decision trees is optimized by (1) implementing decis...
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...