Folgen
Adriana Compagnoni
Adriana Compagnoni
Professor of Computer Science, Stevens Institute of Technology
Bestätigte E-Mail-Adresse bei stevens.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Subtyping dependent types
D Aspinall, A Compagnoni
Theoretical computer science 266 (1-2), 273-309, 2001
137*2001
Multipoint session types for a distributed calculus
E Bonelli, A Compagnoni
Trustworthy Global Computing 4912, 240-256, 2008
872008
Subtyping dependent types
D Aspinall, A Compagnoni
Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996
841996
Correspondence assertions for process synchronization in concurrent communications
E Bonelli, A Compagnoni, E Gunter
Journal of Functional Programming 15 (2), 219-247, 2005
822005
Higher-order intersection types and multiple inheritance
AB Compagnoni, BC Pierce
Mathematical Structures in Computer Science 6 (5), 469-501, 1996
691996
Higher-order subtyping with intersection types
AB Compagnoni
[Sl: sn], 1995
591995
Heap-bounded assembly language
D Aspinall, A Compagnoni
Journal of automated reasoning 31, 261-302, 2003
562003
Typed operational semantics for higher-order subtyping
A Compagnoni, H Goguen
Information and Computation 184 (2), 242-297, 2003
542003
BASS: Boxed ambients with safe sessions
P Garralda, A Compagnoni, M Dezani-Ciancaglini
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
532006
A typed assembly language for non-interference
R Medel, A Compagnoni, E Bonelli
Italian Conference on Theoretical Computer Science, 360-374, 2005
372005
Decidability of higher-order subtyping with intersection types
AB Compagnoni
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 1995
351995
Multiple inheritance via intersection types
AB Compagnoni, BC Pierce
Computing Science Institute, Department of Informatics, Faculty of …, 1993
261993
Role-based access control for boxed ambients
A Compagnoni, EL Gunter, P Bidinger
Theoretical Computer Science 398 (1-3), 203-216, 2008
252008
Typechecking safe process synchronization
E Bonelli, A Compagnoni, E Gunter
Electronic Notes in Theoretical Computer Science 138 (1), 3-22, 2005
242005
Subtyping for object type constructors
D Duggan, A Compagnoni
Workshop On Foundations Of Object-Oriented Languages 7, 4, 1999
221999
Subtyping in F is Decidable
AB Compagnoni
University of Edinburgh. Department of Computer Science. Laboratory for …, 1994
201994
Bioscape: A modeling and simulation language for bacteria-materials interactions
A Compagnoni, V Sharma, Y Bao, M Libera, S Sukhishvili, P Bidinger, ...
Electronic Notes in Theoretical Computer Science 293, 35-49, 2013
152013
Information flow analysis for a typed assembly language with polymorphic stacks
E Bonelli, A Compagnoni, R Medel
International Workshop on Construction and Analysis of Safe, Secure, and …, 2005
142005
Boxed ambients with communication interfaces
E Bonelli, A Compagnoni, M Dezani-Ciancaglini, P Garralda
International Symposium on Mathematical Foundations of Computer Science, 119-148, 2004
142004
Subject reduction and minimal types for higher order subtyping
A Compagnoni
University of Edinburgh. Department of Computer Sc, 1997
121997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20