|
Luca Cardelli:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Anna Formica:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Which papers of Anna Formica cite Luca CardelliOrdered by citing publication[Change the order to 'ordered by cited']
-
Anna Formica, Michele Missikoff
Correctness of ISA Hierarchies in Object-Oriented Database Schemas. [Citation Graph (7, 7)][DBLP] EDBT, 1994, pp:231-244 [Conf] Cites:
-
Anna Formica, Hans Dietmar Gröger, Michele Missikoff
An Efficient Method for Checking Object-Oriented Database Schema Correctness. [Citation Graph (0, 21)][DBLP] ACM Trans. Database Syst., 1998, v:23, n:3, pp:334-369 [Journal] Cites:
-
Luca Cardelli, Peter Wegner
On Understanding Types, Data Abstraction, and Polymorphism. [Citation Graph (68, 0)][DBLP] ACM Comput. Surv., 1985, v:17, n:4, pp:471-522 [Journal]
-
Luca Cardelli
A Semantics of Multiple Inheritance [Citation Graph (32, 0)][DBLP] Inf. Comput., 1988, v:76, n:2/3, pp:138-164 [Journal]
-
Antonio Albano, Luca Cardelli, Renzo Orsini
Galileo: A Strongly-Typed, Interactive Conceptual Language. [Citation Graph (103, 23)][DBLP] ACM Trans. Database Syst., 1985, v:10, n:2, pp:230-260 [Journal]
-
Roberto M. Amadio, Luca Cardelli
Subtyping Recursive Types. [Citation Graph (1, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1993, v:15, n:4, pp:575-631 [Journal]
|