(Aucun)

[rekers@cwi.nl (Jan Rekers (rekers@cwi.nl))]

=> Does anyone have a PASCAL-like language's semantics definition defined in TYPOL?
=> Would you please send me a copy of that. It is very appreciated is very helpful.
 
Hi Ronglian,

We have a specification of the syntax and static semantics of ISO pascal. However, 
it is not defined in tYPOL, but in ASF+SDF. This is an algebraic specification
formalism with user defined syntax, which is also part of the centaur system.

I could send you a report with an explanation of ASF+SDF and the specification
itself. The specification is (of course) also available in electronic form.
Please send me your surface mail address if you are interested.

Kind regards,
Jan Rekers (rekers@cwi.nl)    Centrum voor Wiskunde en Informatica (CWI)
                              P.O. Box 4079, 1009 AB Amsterdam, The Netherlands