Search Sciweavers | Sciweavers

144 search results - page 1 / 29

» Type Substitution for Object-Oriented Programming

click to vote

OOPSLA
1990
Springer

99views Security Privacy» more OOPSLA 1990»

Type Substitution for Object-Oriented Programming

13 years 9 months ago

Download www.cs.ucla.edu

Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but i...

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

13 years 9 months ago

Download selflanguage.org

Craig Chambers, David Ungar

claim paper

Read More »

click to vote

SIGSOFT
1996
ACM

160views Software Engineering» more SIGSOFT 1996»

Using Object-Oriented Typing to Support Architectural Design in the C2 Style

13 years 9 months ago

Download www.isr.uci.edu

Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...

Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins,...

claim paper

Read More »

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

13 years 9 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »