Jürgen Freudig, Welf Löwe, Rainer Neumann, Martin Trapp  Home/Search
Context
Related
| i44s11.info.unikarlsruhe....woon.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: i44s11.info.unika...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Object-oriented systems are usually not designed from scratch but constructed using frameworks or class libraries. This construction should lead to correct systems provided the reused classes are locally correct. Therefore, knowledge about the features that a certain class provides is often not enough. It is additionally necessary to know the correct semantics of classes, i.e. information on how to use these features, especially, we have to mind the legal sequences of method calls. The... (Update)
Active bibliography (related documents): More All
0.5: A Meta-protocol and Type system for the Dynamic Coupling of .. - Reussner, Heuzeroth (1999) (Correct)
0.4: A Method for the Construction of Robust Class Hierarchies - Frick, Neumann, Zimmermann (1996) (Correct)
0.3: On the Design of Reliable Libraries - Frick, Zimmer, Zimmermann (1995) (Correct)
Similar documents based on text: More All
0.1: Documentation of the Intermediate Representation - Trapp, Lindenmaier, Boesler (Correct)
0.1: parSather: A Parallel Sather - Löwe, Trapp (1995) (Correct)
0.1: Offering a Precision-Performance Tradeoff for Aggregation.. - Olston, Widom (2000) (Correct)
BibTeX entry: (Update)
@misc{ freudig-subtyping,
author = "Jürgen Freudig and Welf Löwe and Rainer Neumann and Martin Trapp",
title = "Subtyping of Context-Free Classes",
url = "citeseer.ist.psu.edu/freudig98subtyping.html" }
Citations (may not include all citations):1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
1002 Programming Language (context) - Stroustrup, The
862 The Java Language Specification - Gosling, Joy et al. - 1997
469 Object Oriented Design with Applications (context) - Booch - 1991
369 A semantics of multiple inheritance - Cardelli - 1988
342 Eiffel: the Language (context) - Meyer - 1992
220 Formal Languages (context) - Salomaa - 1973
114 Regular types for active objects - Nierstrasz - 1993
100 Gedanken experiments on sequential machines (context) - Moore - 1956
99 Design by Contract (context) - Meyer - 1992
96 Finite automata and their decision problems (context) - Rabin, Scott - 1959
91 Inheritance as an incremental modification mechanism or what.. (context) - Wegner, Zdonik - 1988
84 Predicate Classes - Chambers - 1993
76 DEC System Research Center (context) - Cardelli, Donahue et al. - 1989
76 DEC System Research Center (context) - Cardelli, Donahue et al. - 1988
72 Specification matching of software components - Zaremski, Wing - 1997
66 International Computer Science Institute (context) - Stoutamire, Manual - 1995
41 A new definition of the subtype relation (context) - Liskov, Wing - 1993
28 The synthesis of sequential switching circuits (context) - Huffman - 1959
18 Parenthesis grammars (context) - McNaughton - 1967
16 PROCOL -- A Parallel Object Language with Protocols (context) - van den Bos, Laffra - 1989
15 The cecil language -- specification and rationale - Chambers - 1995
10 the design of reliable libraries - Frick, Zimmer et al. - 1995
9 Designing an object-oriented language with behavioural subty.. (context) - America - 1991
6 Software -- Concepts and Tools (context) - Goos, -- - 1997
6 ML and a new application of LP (context) - Wing, Rollins et al. - 1993
6 Properties of deterministic top-down grammars (context) - Rosenkrantz, Stearns - 1970
4 Finite state languages (context) - Chomsky, Miller - 1958
3 Design Patterns: Elements of Reusable Software Components (context) - Gamma, Helm et al. - 1994
3 Texts and Monographs in Computer Science (context) - Waite, Goos - 1985
2 Checking software contracts (context) - Mitchell, Maung et al. - 1995
1 ML and a new application of LP (context) - Nerode, Larch - 1958
1 Weak subtyping (context) - Lowe, Neumann et al. - 1998
1 Generation of robust class hierarchies (context) - Frigo, Neumann et al. - 1997
1 Representation of events in nerve nets and finite automata (context) - Klenee - 1956
1 Norway Computer Center (context) - Dahl, Myhrhaug et al. - 1968
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