Optimizing Pattern Matching (2001)

Cached

Download Links

by Fabrice Le Fessant , Luc Maranget
Venue:In ICFP’01 Proceedings
Citations:10 - 0 self

Active Bibliography

8 When Do Match-Compilation Heuristics Matter? – Kevin Scott, Norman Ramsey - 2000
5 Adaptive pattern matching on binary data – Per Gustafsson, Konstantinos Sagonas - 2004
General Terms – Luc Maranget
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS – Yuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
11 ML pattern match compilation and partial evaluation – Peter Sestoft - 1996
2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997
10 Two Techniques for Compiling Lazy Pattern Matching – Luc Maranget, Luc Maranget, Projet Para - 1994
2 Optimizing pattern matching compilation by program transformation – Emilie Balland, Pierre-Etienne Moreau
Open Pattern Matching for C++ – Yuriy Solodkyy, Gabriel Dos, Reis Bjarne Stroustrup
11 Compiling Lazy Pattern Matching – Luc Maranget - 1992
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
12 Fast Parallel Implementation of Lazy Languages - The EQUALS Experience – Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar - 1992
22 Adaptive Pattern Matching – R. C. Sekar, Bellcore Rm A, R. Ramesh, I. V. Ramakrishnan - 1992
14 Effectively Exploiting Indirect Jumps – Gang-ryung Uh, B. Whalley, Susan I. Hruska - 1997
5 Some Practical Aspects of Dependent Datatypes – Hongwei Xi
15 Dependently Typed Pattern Matching – Hongwei Xi - 2003
1 Design Principles for Machine-Description Languages – Norman Ramsey, Jack W. Davidson, Mary F. Fernandez
Optimizing Pattern Matching by Program Transformation – Emilie Balland, Pierre-Etienne Moreau - 2006
3 DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications – Mikael Pettersson, Peter Fritzson - 1992