Re: Code generation from Denotational Semantics

James.Power@compapp.dcu.ie (James Power CA)
Wed, 23 Mar 1994 09:17:30 GMT

          From comp.compilers
Related articles
Code generation from Denotational Semantics ishimoto@jaist-east.ac.jp (1994-03-16)
Re: Code generation from Denotational Semantics James.Power@compapp.dcu.ie (1994-03-23)
Re: Code generation from Denotational Semantics poe@daimi.aau.dk (1994-03-23)
Code generation from Denotational Semantics bevan@cs.man.ac.uk (Stephen J Bevan) (1994-03-24)
Re: Code generation from Denotational Semantics appel@dynastar.princeton.edu (1994-03-26)
Re: Code generation from Denotational Semantics lloyd@bruce.cs.monash.edu.au (1994-04-05)
| List of all articles for this month |
Newsgroups: comp.compilers
From: James.Power@compapp.dcu.ie (James Power CA)
Keywords: denotational semantics, code
Organization: Compilers Central
References: 94-03-066
Date: Wed, 23 Mar 1994 09:17:30 GMT



Shigeru Ishimoto (ishimoto@jaist.ac.jp) writes:


> I am looking for the paper on code generation from denotational semantics.
> Could anyone give me information?


I'm not sure that this strictly makes sense, since the whole idea of a
denotational semantics is to use mathematical, rather than operational,
concepts to define programming languages.


Pedantism aside however, "denotational-style" definitions are usually
"run" using functional languages; ML with lex and yacc provides a good
environment. David Schmidt's book (Chapter 10) gives some pointers in
this direction.


For one approach geared more towards translation, you might try


    "High Integrity Compilation: a case study" by Susan Stepney,
    Prentice-Hall (1993) ISBN: 0133810399


This assumes some knowledge of the Z notation and Prolog, however.




James.


---
James Power,
School of Computer Applications,
Dublin City University, IRELAND.


--

Post a followup to this message

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