14 search results - page 1 / 3 » Semantic Preserving Language Conversion by Simple Pattern Ma... |
83
Voted
ECBS
1996
IEEE
15 years 2 months ago
1996
IEEE
89
Voted
JFP
2007
14 years 10 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
15 years 4 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...
94
Voted
ML
2008
ACM
14 years 10 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...
100
Voted
ICFP
2003
ACM
15 years 10 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...