Laurent Dami  Home/Search
Context
Related
| cui.unige.ch/PUBLIC/dami/subs.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: fermivista.math.ju...cui.unige.ch (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: When combining modules it may be the case that the assembly is partially incorrect (errorprone) , but nevertheless useful in some contexts. However usual type system will reject such assemblies as soon as they detect a potential error. We propose a more liberal approach: an error in a software configuration is tolerated as long as there are contexts which can use it without reaching the error; as a result, software reusability is improved. We introduce a general framework which defines in a... (Update)
Similar documents based on text: More All
0.0: Operational Subsumption, an Ideal Model of Subtyping - Dami (1998) (Correct)
0.0: Between Liberalism and Democracy - Samet, Schmeidler (2000) (Correct)
0.0: Temporal Scripting using TEMPO - Dami, Fiume, Nierstrasz, Tsichritzis (1988) (Correct)
BibTeX entry: (Update)
@inproceedings{ dami97labelled,
author = "Laurent Dami",
title = "Labelled Reductions, Runtime Errors and Operational Subsumption",
booktitle = "Automata, Languages and Programming",
pages = "782-793",
year = "1997",
url = "citeseer.ist.psu.edu/dami97labelled.html" }
Citations (may not include all citations):283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
214 An Ideal Model for Recursive Polymorphic Types (context) - MacQueen, Plotkin et al. - 1986
162 Data types as lattices (context) - Scott - 1976
94 Equality in lazy computation systems - Howe - 1989
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
88 Typechecking records and variants in a natural extension of .. (context) - emy
81 Information and Computation (context) - Bruce, Longo et al. - 1990
71 Operations on Records - Cardelli, Mitchell - 1991
67 Inheritance as Implicit Coercion (context) - Breazu-Tannen, Coquand et al. - 1991
63 The Java TM Language Specification (context) - Gosling, Joy et al. - 1996
48 Studies in Logic and the Foundations of Mathematics (context) - Barendregt, its et al. - 1984
47 Two extensions of Curry's Type Inference System (context) - Cardone, Coppo - 1990
35 An Approximation Theorem for Topological Lambda Models and t.. (context) - Honsell, della - 1992
34 Theoretical aspects of object-oriented programming: types (context) - Gunter, Mitchell - 1994
28 From Operational Semantics to Domain Theory - Mason, Smith et al. - 1996
[Article contains additional citations not shown here]
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/cui.unige.ch.html): More
Watermarking Digital Images for Copyright Protection - Ruanaidh, Dowling, Boland (1996) (Correct)
Towards a New Massively Parallel Computational Model for.. - Hölldobler, Kalinke (Correct)
A Lambda-Calculus for Dynamic Binding - Dami (1997) (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