Denotational Semantics for Pascal

ashok@trddc.ernet.in (ashok sreenivas)
Fri, 25 Sep 1992 16:53:26 GMT

          From comp.compilers
Related articles
Denotational Semantics for Pascal ashok@trddc.ernet.in (1992-09-25)
| List of all articles for this month |
Newsgroups: comp.compilers
From: ashok@trddc.ernet.in (ashok sreenivas)
Organization: Compilers Central
Date: Fri, 25 Sep 1992 16:53:26 GMT
Keywords: Pascal, denotational semantics, question

Could anybody out there, please give me refs. to denotational
specifications of (ISO?) Pascal if they exist. I need the same, and would
be happy not to re- invent the wheel, if it is already available. Since
I'm not directly on the newsgrp myself, please send in your replies to the
address given below, or to Dinesh Mehta at UTK (mehta@cs.utk.edu).


Thanx.
--
Regards,
Ashok Sreenivas
(ashok@trddc.ernet.in)
--

Post a followup to this message

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