N. Wirth, `From Modula to Oberon', Software---Practice and Experience, 18, 661--670 (1988). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Type System of DBPL - Matthes, Schmidt (1989) (14 citations) (Correct)
....during database lifetime, namely before any access to the persistent variables has been made. 2.5 Types and Subtypes DBPL only provides primitive subtyping rules for its base types (integers, reals) and subrange types. DBPL neither has subtyping rules for record or object types as in Oberon [Wir87] and Modula3 [CDG 88] nor has it type inference rules for selector and constructor types (e.g. see Machiavelli [OBBT89] in a ML style type system) 2.6 Database Issues Persistence is an attribute of a module (see section 2.4) All variables declared within a database module are persistent ....
N. Wirth. From modula to oberon. Technical report, Department Informatik, ETH Zurich, Switzerland, 1987. 7
More Advice on Proving a Compiler Correct: Improve a Correct.. - Meijer (1993) (3 citations) (Correct)
....to provide the extra theory to solve this problem. When a technique works for toy examples, this doesn t automatically mean that it scales up to real problems as well. To see whether our method does work for real languages we are in the process of constructing a compiler for the Oberon language (Wirth, 1988) using the techniques of this paper. The PacSoft project at OGI (PacSoft, 1994) has already shown that algebraic programming is feasible for general purpose programming. acknowledgements I am very grateful for the constructive criticism of the JFP referees, in particular referee D , that led me ....
Wirth, N. 1988, From Modula to Oberon. SP&E, 18, (7):671--690.
Juno-2 Language Definition - Nelson, Heydon (1997) (Correct)
....sets x to one of the square roots of two. The user can supply hints for unknowns to control the non determinism inherent in underconstrained systems. To support libraries of reusable graphics programs, Juno 2 also includes modules. The module system borrows the notion of a public view from Oberon [Wir89]. Juno 2 is an extension of Juno 1 [Nel85] Juno 2 borrows its overall semantic framework from Juno 1, including hints. Going beyond Juno 1, Juno 2 provides a richer value space and more powerful extensibility, including user defined constraints and constraints containing existential quantifiers. ....
Niklaus Wirth. From modula to oberon. Technical report, ETH Zurich, September 1989.
A Comparison of Object-oriented Programming in Four Modern.. - Henderson, Zorn (1994) (6 citations) (Correct)
No context found.
N. Wirth, `From Modula to Oberon', Software---Practice and Experience, 18, 661--670 (1988).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC