DAMIANI, Ferruccio

DAMIANI, Ferruccio  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 106 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
A calculus for "environment-aware" computation 2002 Viviana Bono; Ferruccio Damiani; Paola Giannini
A Calculus for Boxes and Traits in a Java-Like Setting 2010 Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
A Calculus of Computational Fields 2013 Mirko Viroli; Ferruccio Damiani; Jacob Beal
A Calculus of Self-stabilising Computational Fields 2014 Mirko Viroli;Ferruccio Damiani
A Decidable Intersection Type System based on Relevance 1994 Ferruccio Damiani; Paola Giannini
A formal foundation for dynamic delta-oriented software product lines 2012 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
A formal foundation for dynamic delta-oriented software product lines 2013 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
A Formal Model for Multi SPLs 2017 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A Formal Model of the Kubernetes Container Framework 2020 Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F.
A Mechanisms for Flexible Dynamic Trait Replacement 2009 Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
A Prototypical Java-like Language with Records and Traits 2010 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
A Spatial Calculus of Wrapped Compartments 2011 Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
A State Abstraction for Coordination in Java-like Languages 2006 F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU
A toolchain for delta-oriented modeling of software product lines 2016 Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven
A Transformational Proof System for Delta-Oriented Programming 2012 Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu
A type preserving translation of Fickle into Java: (Extended Abstract) 2002 D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca
A type system for checking specialization of packages in object-oriented programming 2012 Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch
A unified and formal programming model for deltas and traits 2017 Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Abstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification 2010 Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Abstraction refinement for the analysis of software product lines 2017 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael