|Code generation from Denotational Semantics email@example.com (1994-03-16)|
|Re: Code generation from Denotational Semantics James.Power@compapp.dcu.ie (1994-03-23)|
|Re: Code generation from Denotational Semantics firstname.lastname@example.org (1994-03-23)|
|Code generation from Denotational Semantics email@example.com (Stephen J Bevan) (1994-03-24)|
|Re: Code generation from Denotational Semantics firstname.lastname@example.org (1994-03-26)|
|Re: Code generation from Denotational Semantics email@example.com (1994-04-05)|
|From:||James.Power@compapp.dcu.ie (James Power CA)|
|Keywords:||denotational semantics, code|
|Date:||Wed, 23 Mar 1994 09:17:30 GMT|
Shigeru Ishimoto (firstname.lastname@example.org) 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
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.
School of Computer Applications,
Dublin City University, IRELAND.
Return to the
Search the comp.compilers archives again.