57 search results - page 3 / 12 » Compiling Pattern Matching in Join-Patterns |
PPDP
2005
Springer
14 years 25 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
APCSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
JFP
2007
13 years 7 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, ...
DBPL
2005
Springer
14 years 27 days ago
2005
Springer
Pattern matching mechanisms based on regular expressions feature in a number of recent languages for processing XML. The flexibility of these mechanisms demands novel approaches ...
MTPP
2010
13 years 5 months ago
2010
Abstract. The code generator in a compiler attempts to match a subject tree against a collection of tree-shaped patterns for generating instructions. Tree-pattern matching may be c...