Re: In a Pascal-like language, would being able to declare a subroutine as "purely functional" be of any value?

"Massimo A. Dentico" <massimo_dentico@hotmail.com>
Fri, 18 Mar 2011 21:12:15 +0100

          From comp.compilers
Related articles
[5 earlier articles]
Re: In a Pascal-like language, would being able to declare a subroutin comp.lang.misc@inglorion.net (Robbert Haarman) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin mcr@wildcard.demon.co.uk (Martin Rodgers) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin noitalmost@cox.net (noitalmost) (2011-03-15)
Re: In a Pascal-like language, would being able to declare a subroutin wclodius@los-alamos.net (2011-03-15)
Re: In a Pascal-like language, would being able to declare a subroutin mcr@wildcard.demon.co.uk (Martin Rodgers) (2011-03-16)
Re: In a Pascal-like language, would being able to declare a subroutin sinu.nayak2001@gmail.com (Srinivas Nayak) (2011-03-16)
Re: In a Pascal-like language, would being able to declare a subroutin massimo_dentico@hotmail.com (Massimo A. Dentico) (2011-03-18)
Re: In a Pascal-like language, would being able to declare a subroutin gah@ugcs.caltech.edu (glen herrmannsfeldt) (2011-03-19)
Re: In a Pascal-like language, would being able to declare a subroutin sinu.nayak2001@gmail.com (Srinivas Nayak) (2011-03-21)
| List of all articles for this month |
From: "Massimo A. Dentico" <massimo_dentico@hotmail.com>
Newsgroups: comp.compilers
Date: Fri, 18 Mar 2011 21:12:15 +0100
Organization: Tiscali SpA
References: 11-03-032
Keywords: analysis, bibliography
Posted-Date: 18 Mar 2011 23:39:54 EDT

"noitalmost" <noitalmost@cox.net> wrote:


> [...]
> Can a compiler do this sort of checking, or would the complexity get
> out of hand? I'm thinking that at least a limited form must be
> possible in order to do any sort of inter-procedural register
> allocation.
> [...]


I would suggest some papers about this subject:


    Compiler Detection of Function Call Side Effects
        http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.2096


    Side-Effect Removal Transformation
        http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.352


    A Post-Placement Side-Effect Removal Algorithm
        http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.6348




Regards.


--
Massimo Dentico


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.