Clemens Szypersky, Stephen Omohundro, Stephan Murer  Home/Search
Context Related
| cuiwww.unige.ch/OSG/p...tr93064.ps.gz berkeley.edu/pub/tech...tr93064.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cuisg11.unige.ch/OSG/people/jv... (more) From: aone.net.au/staff/jame...Research (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Sather 1.0 is a programming language whose design has resulted from the interplay of many criteria. It attempts to support a powerful object-oriented paradigm without sacrificing either the computational performance of traditional procedural languages or support for safety and correctness checking. Much of the engineering effort went into the design of the class and type system. This paper describes some of these design decisions and relates them to approaches taken in other languages. We... (Update)
Context of citations to this paper: More
...in this area argue in bottom up way, i.e. they take classes as a starting point and deduce their types. Some newer languages like Sather [4] and Java [5] have made a step in the direction of abstract types. They introduce additional constructs that are types without...
.... Existing collection frameworks have been criticised as being: organised from an implementation viewpoint [6] hard to understand and to use [24] . inherently unscaleable [2] 2.1 General problems The main problem of existing frameworks in supporting very high level...
Cited by: More
A Theory of Primitive Objects - Second-Order Systems - Abadi, Cardelli (Correct)
An Imperative Object Calculus - Abadi, Cardelli (1996) (Correct)
Collection Types and Implementations in.. - Menger, Keedy.. (1998) (Correct)
Similar documents (at the sentence level):
7.1%: pSather: Layered Extensions to an Object-Oriented.. - Murer, Feldman, Lim.. (1993) (Correct)
Active bibliography (related documents): More All
0.5: A Parallel Object-Oriented System for Realizing Reusable and.. - Lim (1993) (Correct)
0.3: Subtyping and Inheritance in Object-Oriented Programming - Kurtev (2000) (Correct)
0.3: The Subtype Relation - A Practical Overview - Oliveira (1994) (Correct)
Similar documents based on text: More All
0.6: The Sather Language and Libraries - Omohundro, Lim (1992) (Correct)
0.6: Iteration Abstraction in Sather - Murer, Omohundro, Stoutamire.. (1996) (Correct)
0.4: Sather Iters: Object-Oriented Iteration Abstraction - Murer, Omohundro, Szyperski (1993) (Correct)
Related documents from co-citation: More All
6: Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
4: Subclassing subtyping Is (context) - LaLonde, Pugh - 1991
4: Programming with the Standard Template Library (context) - Musser, Saini - 1996
BibTeX entry: (Update)
C Szypersky, S Omohundro and S Murer (1993), 'Engineering a programming language: the type and class system of Sather', Technical Report TR-93-064, International Computer Science Institute, Berkley CA. http://citeseer.ist.psu.edu/szypersky94engineering.html More
@techreport{ szypersky93engineering,
author = "Clemens Szypersky and Stephen Omohundro and Stephan Murer",
title = "Engineering a Programming Language: The Type and Class System of Sather",
number = "TR-93-064",
address = "Berkeley, CA",
year = "1993",
url = "citeseer.ist.psu.edu/szypersky94engineering.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
342 Eiffel - The Language (context) - Meyer - 1988
306 Self: The power of simplicity (context) - Ungar, Smith - 1987
240 Mixin-based inheritance - Bracha, Cook - 1990
227 Kernighan and Dennis M (context) - Brian - 1978
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
162 Programming in Modula (context) - Wirth - 1982
127 Systems Programming with Modula (context) - Nelson - 1991
86 The Language and its Implementation (context) - Goldberg, Robson - 1985
81 A proposal for making eiffel type safe - Cook - 1989
77 PASCAL: User Manual and Report (context) - Jensen, Wirth - 1978
76 DEC Systems Research Center (context) - Cardelli, Technical - 1989
74 Encapsulation and Inheritance in object-oriented programming.. - Snyder - 1986
34 Import is not Inheritance -- why we need both: Modules and C.. - Szyperski - 1992
32 The BETA programming language (context) - Kristensen, Madsen et al. - 1987
22 Department of Computer Science (context) - Chambers, language et al. - 1993
22 CLOS: Integrating object-oriented and functional programming (context) - Gabriel, White et al. - 1991
18 The programming language Oberon (context) - Mossenbock, Wirth - 1991
14 Sather language design and performance evaluation (context) - Lim, Stolcke - 1991
13 Sather iters: Object-oriented iteration abstraction - Murer, Omohundro et al. - 1993
11 Code reuse considered harmful (context) - Magnusson - 1991
10 Steps Beyond Pascal and Modula (context) - Reiser, Wirth et al. - 1992
9 Sather provides nonproprietary access to object-oriented pro.. (context) - Omohundro - 1992
5 Emerald: An Object-Oriented Language for Distributed Program.. (context) - Hutchinson - 1987
3 ICSIM: An object-oriented connectionist simulator - Schmidt, Gomes - 1991
3 ACTS: A type system for object-oriented programming based on.. (context) - Dodani, Tsai - 1992
1 Ada Reference Manual: Proposed Standard Document (context) - of - 1980
Documents on the same site (http://cuisg11.unige.ch/OSG/people/jvitek/Resources/Archive/): More
Coordinating Distributed Objects with Declarative Interfaces - Singh, Gisi (1995) (Correct)
A Simple Scheme to Make Passwords Based on One-Way Functions Much .. - Manber (1996) (Correct)
The Cecil Language, Specification and Rationale - Chambers (1993) (Correct)
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