Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/oberon.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Philipp W. Kutter and Alfonso Pierantonio, "The Formal Specification of Oberon", Journal of Universal Computer Science, vol. 3, no. 5 (1997), 443--503. |
|---|---|
| Summary: | A presentation of the syntax, static, and dynamic semantics of Oberon (the object-oriented successor of Pascal and Modula 2), using Montages and ASMs. |
| Subjects: | Montages, Programming Languages |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | (Courtesy of Springer-Verlag.) |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/oberon.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT