PAOLINI, LUCA LUIGI

PAOLINI, LUCA LUIGI  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 84 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
A certified study of a reversible programming language 2018 Luca Paolini; Mauro Piccolo; Luca Roversi
A class of Recursive Permutations which is Primitive Recursive complete 2020 Paolini L.; Piccolo M.; Roversi L.
A Class of Reversible Primitive Recursive Functions 2016 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
A formal model for Multi Software Product Lines 2019 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
A Formal Model for Multi SPLs 2017 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A fully abstract model for the lazy lambda-calculus 2004 L. PAOLINI; S. RONCHI DELLA ROCCA
A Process-Model for Linear Programs 2009 Luca Paolini; Mauro Piccolo
A Stable Programming Language 2006 L. PAOLINI
An Operational Characterization of Strong Normalization 2006 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 2019 Damiani F.; Lienhardt M.; Paolini L.
Call-by-Value Separability and Computability 2001 L. PAOLINI
Call-by-Value Solvability 1999 L. PAOLINI; S. RONCHI DELLA ROCCA
Call-by-value solvability, revisited 2012 Beniamino Accattoli; Luca Paolini
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012) 2012 Luca Paolini
Efficient static analysis and verification of featured transition systems 2022 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.
Essential and relational models 2017 Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, S.
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 2015 ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC 2022 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G.
Intersection Types and Related Systems (ITRS) 2012 Silvia Ghilezan; Luca Paolini
La chiamata per Valore e La valutazione pigra nel λ-calcolo 1998 L. PAOLINI