Search Constraints

Start Over
Filtering by: Creator Jacobson, David L. Remove constraint Creator: Jacobson, David L. Academic Affiliation Computer Science Remove constraint Academic Affiliation: Computer Science Resource Type Technical Report Remove constraint Resource Type: Technical Report

Search Results

  • A powerdoman semantics for indeterminism

    Creator:
    Wise, David S.
    Abstract:
    A denotational semantics is presented for a language that includes multiple-valued functions (essentially Lisp S-expressions), which map from ground values into the power domain of ground values. The domain equations are reflexive. and fixed points of all functions are defined. Thus, it is possible to specify an operating system as...
    Resource Type:
    Technical Report
    Full Text:
    Powerdoman Semantics for Indeterminism David S. Wise Computer Science Department Indiana University

  • An alternative to subclassing

    Creator:
    Sandberg, David W.
    Abstract:
    Smalltalk-80 obtains some of its expressive power from arranging classes in a hierarchy. Inheritance is an important aspect of this hierarchy. An alternative organization of classes is proposed that emphasizes description instead of inheritance. This alternative can be used with compile-time type checking and retains the important characteristics of Smalltalk's...
    Resource Type:
    Technical Report
    Full Text:
    David Sandberg Department of Computer Science Oregon State University Corvallis, Oregon l 7 l

  • The design of the programming language X-2

    Creator:
    Sandberg, David W.
    Abstract:
    The design of an experimental object-based programming language is discussed. The language is intended for investigating techniques for organization of programs.
    Resource Type:
    Technical Report
    Full Text:
    Programming Language X-2 David W. Sandberg Department of Computer Science Oregon State University

  • Type checking and parameterized types

    Creator:
    Sandberg, David W.
    Abstract:
    A method for implementing parameterized types is given. Two simplifying restrictions are assumed: types are only parameterized with other types, and assignment is like that of SNOBOL, CLU, and Smalltalk. An algorithm for type checking that handles parameterized types and overloading is presented .
    Resource Type:
    Technical Report
    Full Text:
    , Oregon 97331 7 n l l l n I u lJ J u Type Checking and Parameterized Types David

  • Preliminary X2 language reference manual

    Creator:
    Sandberg, David
    Abstract:
    X2 is an object-oriented programming language. Object-oriented programming models everything in the world as objects that have some local state that may vary with time. If the state of an object varies with time the object is mutable. If the state is time independent the object is immutable. Each object's...
    Resource Type:
    Technical Report
    Full Text:
    Reference Manual David Sandberg Department of Computer Science Oregon State University Corvallis

  • The applicative style of programming

    Creator:
    Wise, David S.
    Resource Type:
    Technical Report
    Full Text:
    1 I l 1984-2 Liil~UEAS~T,' 5C~EilLE The

  • Grif : a graphical programming language for robotics

    Creator:
    Sandberg, David W.
    Resource Type:
    Technical Report
    Full Text:
    Graphical Programming Language for Robotics David W. Sandberg Department of Computer Science Oregon

  • What is object-oriented programming?

    Creator:
    Sandberg, David W.
    Abstract:
    The term object-oriented is defined. This definition is then related to message-passing, inheritance, polymorphism, data abstraction, generics, and overloading.
    Resource Type:
    Technical Report
    Full Text:
    Programming? David W. Sandberg Department of Computer Science Oregon State University Corvallis, Oregon

  • Smalltalk and exploratory programming

    Creator:
    Sandberg, David W.
    Abstract:
    Using Smalltalk-80, programmers can produce prototypes much faster than with C or Pascal. What techniques do Smalltalk-80 programmers use to produce these prototypes? What is special about Smalltalk-80 that enables them to uses these techniques? Can these techniques be used with conventional languages such as C? In an attempt to...
    Resource Type:
    Technical Report
    Full Text:
    Programming* David W. Sandberg Computer Science Department Oregon State University Corvallis, Oregon

  • Experience with an object-oriented virtual machine

    Creator:
    Sandberg, David W.
    Abstract:
    Several years ago we began development of an object-based programming language and environment which we call X2. We implemented X2 using a virtual machine similar to Smalltalk-80 implementations, but X2 does no message look-up. The implementation differs from most Smalltalk-80 systems in that objects are paged and in the ability...
    Resource Type:
    Technical Report
    Full Text:
    OBJECT-ORIENTED VIRTUAL MACHINE David W. Sandberg Department of Computer Science Oregon State