R. Griesemer. A Programming Language for Vector Computers. Diss. no. 10277, Institut fur Computersysteme, ETH Zurich, 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Active Oberon Language Report - Reali (Correct)
....the language, and allowed to test and evaluate the language improvements. Many experimental language extensions have been proposed for Oberon at, and outside of the ETH. Object Oberon [19] Oberon 2 [20] and Froderon [7] explored adding further object oriented features to the language; Oberon V [9] proposed additions for parallel operations on vector computers; Oberon XSC [15] added mathematical features to support scientific computation; Module Embedding [24] was also proposed. Concurrency was first added to the operating system through a specialized system API in Concurrent Oberon [25] ....
R. Griesemer. A Programming Language for Vector Computers. Diss. no. 10277, Institut fur Computersysteme, ETH Zurich, 1993.
Structuring a Compiler with Active Objects - Reali (2000) (1 citation) (Correct)
....having to wait for the parent scope to be completed. It is possible to inductively show that every scope in the hierarchy will eventually reach the complete state, and thus that the search operation terminates. 6 Discussion 6. 1 Data Structures in the Compiler Using type extension as proposed in [5, 4] instead of records with many di#erent meanings made the compiler not only safer but also simpler to understand and maintain. Invariants are hard coded in the data structure, and inconsistent structures can mostly be detected when created and not when first used. We thus go one step further in ....
R. Griesemer. A Programming Language for Vector Computers. PhD thesis, ETH Zurich, 1993.
Where does GOTO go to? - Gellerich, Kosiol, Ploedereder (Correct)
....statements like RETURN or EXIT for this purpose, which are sometimes called disciplined GOTOs . While such constructs are surely admissible from the point of software engineering, loops with multiple EXITs have recently been criticized as unstructured in the context of optimizing compilers [4, 13, 2, 3]. A final stronghold of GOTOs are source programs generated by compiler compilers or other program generators. Here, the use of GOTO is acceptable under software engineering criteria as these files are neither written nor read by human programmers. 1.3 Ada s Rules about GOTO Ada provides GOTO but ....
R. Griesemer. A Programming Language for Vector Computers. PhD thesis, ETH Zuerich, 1993. ftp.inf.ethz.ch: /doc/diss/th10277.ps.gz.
Detection of Side-Effects in Function Procedures - Griesemer (1994) (1 citation) Self-citation (Griesemer) (Correct)
....within functions to local variables only. Such a restriction can be enforced easily by controlling the left hand side of assignments and by disallowing procedure calls from within a function. This method has been used in Euclid [5] a descendant of Pascal, and in the experimental language Oberon V [2]. Unfortunately it restricts these languages to R functions, which do not allow new data structures as results, quite a useful feature. For instance, it is not possible to implement an R function add(x, y: #T) #T that takes pointer arguments x and y, allocates an add node that refers to x and y ....
Griesemer R. (1993). A Programming Language for Vector Computers, Diss. ETH Nr. 10277, ETH Zürich, ftp ftp.inf.ethz.ch, get /doc/diss/th10277.ps.
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