|Denotational Semantics for Pascal email@example.com (1992-09-25)|
|From:||firstname.lastname@example.org (ashok sreenivas)|
|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 (email@example.com).
Return to the
Search the comp.compilers archives again.