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 3442BBC88 for ; Mon, 7 Feb 2005 18:57:49 +0100 (CET) Received: from smtpout.mac.com (smtpout.mac.com [17.250.248.45]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j17HvmfZ023695 for ; Mon, 7 Feb 2005 18:57:48 +0100 Received: from mac.com (smtpin02-en2 [10.13.10.147]) by smtpout.mac.com (Xserve/MantshX 2.0) with ESMTP id j17Hv1lm018512; Mon, 7 Feb 2005 09:57:01 -0800 (PST) Received: from [192.168.1.100] (dsl081-080-123.lax1.dsl.speakeasy.net [64.81.80.123]) (authenticated bits=0) by mac.com (Xserve/smtpin02/MantshX 4.0) with ESMTP id j17HuwgH024566; Mon, 7 Feb 2005 09:56:59 -0800 (PST) In-Reply-To: <1107795520.13571.118.camel@pelican.wigram> References: <1107773824.654.43.camel@localhost> <1107795520.13571.118.camel@pelican.wigram> Mime-Version: 1.0 (Apple Message framework v619.2) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit Cc: Brian Hurt , Ville-Pertti Keinonen , Jon , caml-list@yquem.inria.fr From: Paul Snively Subject: Re: [Caml-list] The boon of static type checking Date: Mon, 7 Feb 2005 09:56:39 -0800 To: skaller@users.sourceforge.net X-Pgp-Agent: GPGMail 1.0.2 X-Mailer: Apple Mail (2.619.2) X-Miltered: at concorde with ID 4207AC1C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 hash:01 wrote:01 glebe:01 caml-list:01 beginner's:01 ocaml:01 beginners:01 bug:01 061:98 node:01 nsw:01 cps:01 bin:01 checking: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: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Feb 7, 2005, at 8:58 AM, skaller wrote: > Yeah it can, it has been proven SSA is equivalent to > a purely functional representation. Branches are done with CPS. > Sorry I can't find the paper: the paper was actually written > to explain *why* SSA is easy to analyse. > From a reply to a post I made on , at : "A Correspondence between Continuation-Passing Style and Static Single Assignment" at , and "SSA is Functional Programming" at . > > -- > John Skaller, mailto:skaller@users.sf.net > voice: 061-2-9660-0850, > snail: PO BOX 401 Glebe NSW 2037 Australia > Checkout the Felix programming language http://felix.sf.net > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > Best regards, Paul -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (Darwin) iEYEARECAAYFAkIHq+YACgkQO3fYpochAqLoHQCgsXHXbnGKKaZsn0irNPoX7hX2 DkkAoLB9wmglgErs4Ayj6SS6KrUt4P+5 =zN17 -----END PGP SIGNATURE-----