M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer Verlag, New York, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Equational Reasoning with Subtypes - Gary Leavens And (Correct)
....a function is the restriction of K to some subset of its domain. Type contexts H and K are disjoint if their domains are disjoint and they are consistent if H [K is a type context (i.e. H(x) K(x) for each variable x common to the domains of H and K. The following are the typing rules for terms [1, 21, 23]. H x: T ; if x: T 2 H (ident) H t 1 : T 1 ; H t n : T n ;H g(t 1 ; t n ) T ; if ResType(g; T 1 ; T n ) T , op call) A term t is of nominal H type (or simply of H type) S in , in symbols ;H nom t: S, if the typing expression t: S is derivable ....
....an important alternative to algebras as a basis for the semantics of OO languages. Gordon and Rees [18] investigate behavioral equivalence and its formalization in the context of Ob 1 : Abadi and Cardelli s single dispatch rst order calculus of objects with subtyping and with rewriting rules [1]. In this calculus data elements are identi ed with programs, i.e. expressions of the calculus, and logical equivalence (equality) is de ned as reduction to the same normal form. Gordon and Rees de ne two programs to be contextual equivalent (their interpretation of behavioral equivalent) if, ....
Mart in Abadi and Luca Cardelli, A Theory of Objects. Monographs in Computer Science, Springer, New York, 1996.
Overloading and Inheritance - Davide Ancona Sophia (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer Verlag, New York, 1996.
A Theory of Aspects - Walker, Zdancewic, Ligatti (2003) (13 citations) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, New York, 1996.
A Type-theoretic Interpretation of Pointcuts and Advice - Ligatti, Walker, Zdancewic (2005) (Correct)
No context found.
Martin Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, New York, 1996.
Methods as Pattern-Matching Functions - Barry Jay University (2004) (Correct)
No context found.
M. Abadi and L Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1997.
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
Type-Based Verification of Assembly Language - Chang (2005) (Correct)
No context found.
Mart n Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1998.
MiniMAO: Investigating the Semantics of Proceed - Clifton, Leavens (2005) (1 citation) (Correct)
No context found.
Mart n Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, 1996.
Mixin Modules for Dynamic Rebinding - Davide Ancona Sonia (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
From Action Calculi to Linear Logic - Barber, Gardner, Hasegawa, Plotkin (1998) (7 citations) (Correct)
No context found.
M. Abadi and L. Cardelli: A Theory of Objects. Monographs in Computer Science, Springer (1996)
Compiling Standard ML to Java - An (Correct)
No context found.
Mart'in Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, 1996.
Recovering Binary Class Relationships: - On (Correct)
No context found.
Martn Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, second edition, 1998.
Parameterized Aspect Calculus: A Core Calculus for the.. - Clifton, Leavens, Wand (2003) (3 citations) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, New York, NY, 1996.
System F with Width-subtyping and Record Updating - Poll (1997) (Correct)
No context found.
Mart'in Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
Extensible Objects: a Tutorial - Bono (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
A Formal Semantics of State Modification Primitives of.. - Vignaga (2004) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, 1996.
Proving Pointer Program Properties - Part 1: Context and overview - Meyer (2003) (Correct)
No context found.
Martn Abadi and Luca Cardelli: A Theory of Objects, Monographs in Computer Science, Springer-Verlag, 1996.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer Verlag, 1996.
A Theory of Aspects - Walker, Zdancewic, Ligatti (2003) (13 citations) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, New York, 1996.
A Calculus for "environment-Aware" Computation - Bono, Damiani, al. (2002) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) (Correct)
No context found.
M. Abadi and L. Cardelli, A Theory of Objects, Monographs in Computer Science. Springer-Verlag, New York, 1996.
A Pragmatic Study of Binary Class Relationships - Yann-Gael Gueheneuc Herve (2003) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, second edition, 1998.
A Theory of Aspects - Walker, Zdancewic, Ligatti (2003) (13 citations) (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, New York, 1996.
Game Semantics and Subtyping - Chroboczek (2003) (2 citations) (Correct)
No context found.
Martin Abadi and Luca Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
Mechanized Operational Semantics via (Co)Induction - Simon Ambler And (Correct)
No context found.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer-Verlag, 1996.
First 50 documents Next 50
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