DAMIANI, Ferruccio

DAMIANI, Ferruccio  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 171 (tempo di esecuzione: 0.034 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 Agents and Artifacts 2011 Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
A conjunctive type system for useless-code elimination 2003 F. DAMIANI
A Filter Model for Mobile Processes 1999 DAMIANI F.; M. DEZANI; GIANNINI P.
A Formal Model for Multi SPLs 2017 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
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 provenly correct translation of Fickle into Java 2007 D. ANCONA; C. ANDERSON; F. DAMIANI; S. DROSSOPOULOU; P. GIANNINI; E. ZUCCA
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 Transformational Proof System for Delta-Oriented Programming 2012 Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu
A type inference approach to program analysis 1998 M. COPPO; DAMIANI F.; GIANNINI P.
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 safe state abstraction for coordination in Java -like languages 2008 Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou
A type system for checking specialization of packages in object-oriented programming 2012 Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 2011 Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
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
Adaptive distributed monitors of spatial properties for cyber–physical systems 2021 Audrito G.; Casadei R.; Damiani F.; Stolz V.; Viroli M.