Re: literature about Abstract Interpretation?

"Afsal C. Majeed" <afsal@GENIUS.TISL.SOFT.NET>
Tue, 18 Apr 1995 09:12:40 GMT

          From comp.compilers
Related articles
literature about Abstract Interpretation? marjan.mernik@uni-mb.si (1995-04-05)
Re: literature about Abstract Interpretation? afsal@GENIUS.TISL.SOFT.NET (Afsal C. Majeed) (1995-04-18)
| List of all articles for this month |
Newsgroups: comp.compilers
From: "Afsal C. Majeed" <afsal@GENIUS.TISL.SOFT.NET>
X-Organisation: Software Technology Park, Bangalore
Keywords: analysis
Organization: Compilers Central
References: 95-04-070
Date: Tue, 18 Apr 1995 09:12:40 GMT

> I'd like to know more about abstract interpretation and static program
> analysis, so I'm looking for good books, papers on them.


Here are some references which may be of use to you


1. Abramsky, S. Hankin C.,(eds). Abstract Interpretation of Declarative
languages, Ellis Horwood(1987)


The following contains a variety papers on functional languages


2. Functional Programming and Computer Architecture, Lecture Notes
in Computer Science 201, Springer Verlag (1987)


3. Functional Programming and Computer Architecture, Lecture Notes
in Computer Science 274, Springer Verlag(1987)


4.Graph Reduction: Proceedings of a Workshop, Lecture Notes in Computer
Science 279, Springer Verlag(1986)


5. Hughes, J., Strictness Detection in Non-Flat Domains. In Programs
as Data Objects, pp. 112-135 LNCS 217 Springer Verlag.


6. Peyton Jones S. L., The implementation of Functional Programming
Languages, Prentice Hall(1987).


Hope this will be use to you.


Ciao,
Afsal
--

Post a followup to this message

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