Thomas Studer  Home/Search
Context
Related
| iamwww.unibe.ch/~tstu...overloading.pdf iamwww.unibe.ch/~til/...overloading.pdf iamwww.unibe.ch/~til/...overloading.pdf 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: iam.unibe.ch/~tstuder/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Up to now there was no interpretation available for #-calculi featuring overloading and late-binding, although these are two of the main principles of any object-oriented programming language. In this paper we provide a new semantics for a stratified version of Castagna's # {} , a #-calculus combining overloading with late-binding. The model-construction is carried out in EETJ + (Tot) + (F-I N ), a system of explicit mathematics. We will prove the soundness of our model with respect to... (Update)
Similar documents (at the sentence level):
52.8%: A Semantics for ...: A Calculus With Overloading and Late-Binding - Studer (1999) (Correct)
42.6%: Object-Oriented Programming in Explicit Mathematics: Towards .. - von Werthenstein (2001) (Correct)
Active bibliography (related documents): More All
0.6: Impredicative Overloading in Explicit Mathematics - Studer (2000) (Correct)
0.6: On the Proof Theory of Applicative Theories - Strahm (1996) (Correct)
0.6: Constructive Foundations for Featherweight Java - Studer (2001) (Correct)
Similar documents based on text: More All
0.3: A Theory of Explicit Mathematics Equivalent to ID 1 - Kahle, Studer (2000) (Correct)
0.2: Combination of Classifiers on the Decision Level for Face.. - Achermann, Bunke (1996) (Correct)
0.1: Combining Metrics and Graphs for Object Oriented Reverse Engineering - Lanza (1999) (Correct)
BibTeX entry: (Update)
@misc{ studer-semantics,
author = "Thomas Studer",
title = "A Semantics for ...: A Calculus With Overloading and Late-Binding",
url = "citeseer.ist.psu.edu/article/studer99semantics.html" }
Citations (may not include all citations):369 A semantics of multiple inheritance - Cardelli - 1988
325 Towards a theory of type structure (context) - Reynolds - 1974
128 On understanding types (context) - Cardelli, Wegner - 1985
88 A calculus for overloaded functions with subtyping - Castagna, Ghelli et al. - 1995
69 A language and axioms for explicit mathematics (context) - Feferman - 1975
63 Constructive theories of functions and classes (context) - Feferman - 1979
46 revised edition (context) - Barendregt, Calculus - 1985
43 Object-Oriented Programming: A Unified Foundation (context) - Castagna - 1997
43 Logics for termination and correctness of functional program.. (context) - Feferman - 1991
43 Logics for termination and correctness of functional program.. (context) - Feferman - 1992
40 Interpretation fonctionelle et elimination des coupures de l.. (context) - Girard - 1972
27 Polymorphic typed lambda-calculi in a type-free axiomatic fr.. (context) - Feferman - 1990
19 Iterated inductive fixed-point theories: Application to Hanc.. (context) - Feferman - 1982
18 early: a calculus with overloading and early binding (context) - Castagna, Ghelli et al. - 1993
13 Institut fur Informatik und angewandte Mathematik (context) - Marzetta, of et al. - 1994
11 Induction in the elementary theory of types and names (context) - Jager - 1988
7 A static type system for late binding overloading (context) - Ghelli - 1991
7 Type theory and explicit mathematics (context) - Jager - 1989
6 of explicit mathematics: the limit and Mahlo axioms (context) - Jager, Studer et al.
5 Partial applicative theories and explicit substitutions - Strahm - 1996
5 Applikative Theorien und explizite Mathematik (context) - Jager - 1997
3 Totality in applicative theories - Jager, Strahm - 1995
1 Unifying overloading and #-abstraction (context) - Castagna - 1997
Documents on the same site (http://www.iam.unibe.ch/~tstuder/): More
Explicit mathematics: W-type, models - Studer (1997) (Correct)
A Semantics for ...: A Calculus With Overloading and Late-Binding - Studer (1999) (Correct)
Universes in Explicit Mathematics - Jäger, Kahle, Studer (1999) (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