BONO, Viviana

BONO, Viviana  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 71 (tempo di esecuzione: 0.05 secondi).
Titolo Data di pubblicazione Autore(i) File
33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008) 2008 Viviana Bono
A calculus for "environment-aware" computation 2002 Viviana Bono; Ferruccio Damiani; Paola Giannini
A Core Calculus of Classes and Objects 1999 V. Bono;A. Patel;V. Shmatikov;J. C. Mitchell
A core calculus of higher-order mixins and classes [poster abstract] 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixins and incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
A CuCh Interpretation of an Object-Oriented Language 2001 V. Bono;I. Salvo
A Subtyping for Extensible, Incomplete Objects 1999 VIVIANA BONO; MICHELE BUGLIESI; M. DEZANI; LUIGI LIQUORI
A typed lambda calculus with intersection types 2008 V. BONO; B. VENNERI; L. BETTINI
Behavioral Types in Programming Languages 2016 Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida
Big-step Operational Semantics Revisited 2010 Jaroslaw D. M. Kusmierek; Viviana Bono
Coordinating Mobile Object-Oriented Code 2002 Bettini, Lorenzo; Bono, Viviana; Venneri, B.
A Core Calculus of Classes and Mixins 1999 V. Bono;A. Patel;V. Shmatikov
A core calculus of higher-order mixins and classes 2004 L. BETTINI; V. BONO; S. LIKAVEC
Data-driven adaptation for smart sessions 2017 Bono, Viviana; Coppo, Mario; Dezani, Mariangiola; Venneri, Betti
Delegation by Object Composition 2011 Lorenzo Bettini; Viviana Bono; Betti Venneri
Delta-Oriented Programming of Software Product Lines 2010 Ina Schaefer; Lorenzo Bettini; Viviana Bono; Ferruccio Damiani; Nico Tanzarella
Extensible Objects: a Tutorial 2003 V. Bono
FCAJava 2008 Lorenzo Bettini; Viviana Bono; Marco Naddeo
FJMIP: A calculus for a modular object initialization 2007 V. BONO; J. KUS'MIEREK