From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B5BF0BCAE for ; Fri, 15 Jul 2005 09:48:27 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6F7mRso018856 for ; Fri, 15 Jul 2005 09:48:27 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA14001 for ; Fri, 15 Jul 2005 09:48:26 +0200 (MET DST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6F7mLQw018840; Fri, 15 Jul 2005 09:48:21 +0200 Received: by yquem.inria.fr (Postfix, from userid 18041) id 5D709BCAE; Fri, 15 Jul 2005 09:48:21 +0200 (CEST) Date: Fri, 15 Jul 2005 09:48:21 +0200 To: David MENTRE Cc: Nicolas Cannasse , caml-list@inria.fr Subject: Re: [Caml-list] Pattern Matching Papers Message-ID: <20050715074821.GA6554@yquem.inria.fr> References: <002001c587d6$5d0c1070$19b0e152@warp> <87br56le4a.fsf@linux-france.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87br56le4a.fsf@linux-france.org> User-Agent: Mutt/1.3.28i From: luc.maranget@inria.fr (Luc Maranget) X-Miltered: at concorde with ID 42D76A4B.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42D76A45.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 maranget:01 maranget:01 moscova:01 backtracking:01 lennart:01 compiler:01 lennart:01 augustsson:01 booktitle:01 languages':01 compiler:01 compilation:01 lncs:01 booktitle:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: > You should take a look at Luc Maranget papers: > http://moscova.inria.fr/%7Emaranget/pub.html > > Yours, > d. > -- > pub 1024D/A3AD7A2A 2004-10-03 David MENTRE > 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A Thank you for citing my papers! I'd like to cite some other papers. * On Backtracking Automata: - Lennart Augustsson's article includes compiler code. @inproceedings{5303, author = {Lennart Augustsson}, title = {Compiling pattern matching}, booktitle = {Proc. of a conference on Functional programming languages and computer architecture}, year = {1985}, isbn = {3-387-15975-4}, pages = {368--381}, location = {Nancy, France}, publisher = {Springer-Verlag New York, Inc.}, address = {New York, NY, USA}, } - Phil Wadler's chapter in Simon Peyton Jones book 'Implementation of Functional languages' also provides compiler code. - Another implementation of the same algorithm is described in Xavier Leroy's 'Zinc Report'. * On decision trees (or tree automata) - M. Pettersson's article, a stimulating approach of this other compilation algorithm (LNCS 641). @inproceedings{727270, author = {Mikael Pettersson}, title = {A Term Pattern-Match Compiler Inspired by Finite Automata Theory}, booktitle = {CC '92: Proceedings of the 4th International Conference on Compiler Construction}, year = {1992}, isbn = {3-540-55984-1}, pages = {258--270}, publisher = {Springer-Verlag}, address = {London, UK}, } -- Luc