formal semantics for oberon 
Author Message
 formal semantics for oberon

Can anyone direct me to a paper/thesis with a formal semantics for oberon
or even just an abstract syntax?

Peter Bancroft
Queensland University of Technology



Mon, 12 Feb 1996 07:28:38 GMT  
 formal semantics for oberon

Quote:

>Can anyone direct me to a paper/thesis with a formal semantics for oberon
>or even just an abstract syntax?

from the "Comp.lang.oberon FAQ (monthly)":

A New Approach to Formal Language Definition and Its Application to
Oberon by M. Odersky, Verlag der Fachvereine Zuerich 1989;
ISBN 3-7281-1732-3

--
Uli (moving to Linux...) Wendl
===================================                     \|/
watch out for MouseShit on your PC!                    (o o)
===================================================oOO==(_)==OOo================
=



Mon, 12 Feb 1996 17:05:37 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. Eiffel Parser and Formal Semantics

2. Formal semantics for Eiffel?

3. Eiffel formal semantics

4. Formal semantics of SDL (Specification and Description Language)

5. Formal semantics for Dylan?

6. Formal Semantics

7. Formal Semantics

8. Multi-threaded formal semantics

9. Formal Semantics of Scheme

10. Formal Semantics for Verilog

11. new book on VHDL (formal semantics)

 

 
Powered by phpBB® Forum Software