Re: Code generation from Denotational Semantics

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


I have these:


%A F. Nielson
%A H. R. Nielson
%T Code generation from two-level denotational meta-languages
%B Programs as Data Objects
%E H. Ganzinger
%E N. D. Jones
%I Springer Verlag
%S LNCS
%V 217
%P 192-205
%K FP,denotational semantics, two level, compile time, run time,
      compile-time, run-time
%X TML type system:
      ct ::= A | ct1x...xctk | ct1+...+ctk | rec X.ct | X | ct1->ct2 | rt
      rt ::= _A| rt1x...xrtk | rt1+...+rtk | _rec_X.rt| _X| rt1->rt2
      compile time can talk about ct and rt but rt about rt only.


%A H. R. Nielson
%A F. Nielson
%T Semantics directed compiling for functional languages
%J ACM Conference on Lisp and Functional Programming
%M AUG
%D 1986
%P 249-257
%K FP, lfp, lfp86, two level denotational semantics, compile time, run time


%A L. C. Paulson
%T A compiler generator for semantic grammars
%M Dec
%D 1981
%I Dept Computer Science, Stanford University
%K denotational semantics
%O PhD thesis


%A P. D. Mosses
%T Compiler generation using denotational semantics
%J Mathematical Foundations of Computer Science
%D 1976
%I Springer Verlag
%S LNCS V 45


%B Semantics directed compiler generation
%S LNCS V 94
%I Springer Verlag
%E N. D. Jones
%M Jan
%D 1980
%K semantics denotational operational translator


%T Pragmatic aspects of two-level denotational meta-languages
%A Hanne R Nielson
%A Flemming Nielson
%B ESOP 86
%S LNCS
%V 213
%I Springer-Verlag
%P 133-143
%D 1986
%O European Symposium on Programming, Proceedings
%M MAR
%W Saarbrucken, Federal Republic of Germany
%K two level, denotational semantics, compile time, run time, compiletime,
      runtime


Paulson is/was at Comp. Sci. Cambridge University UK.


  ... and isn't there the idea of "implementation semantics"
in Milne and Strachey's work?


Lloyd ALLISON
Department of Computer Science, email: lloyd@cs.monash.edu.au
Monash University, Clayton, tel: 61 3 905 5205
Victoria 3168, AUSTRALIA fax: 61 3 905 5146
--

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