PAOLINI, Luca Luigi
PAOLINI, Luca Luigi
INFORMATICA
A certified study of a reversible programming language
2018-01-01 Luca Paolini; Mauro Piccolo; Luca Roversi
A class of Recursive Permutations which is Primitive Recursive complete
2020-01-01 Paolini L.; Piccolo M.; Roversi L.
A Class of Reversible Primitive Recursive Functions
2016-01-01 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
A formal model for Multi Software Product Lines
2019-01-01 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
A Formal Model for Multi SPLs
2017-01-01 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A fully abstract model for the lazy lambda-calculus
2004-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
A Process-Model for Linear Programs
2009-01-01 Luca Paolini; Mauro Piccolo
A Stable Programming Language
2006-01-01 L. PAOLINI
An Operational Characterization of Strong Normalization
2006-01-01 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
2019-01-01 Damiani F.; Lienhardt M.; Paolini L.
Call-by-Value Separability and Computability
2001-01-01 L. PAOLINI
Call-by-Value Solvability
1999-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
Call-by-value solvability, revisited
2012-01-01 Beniamino Accattoli; Luca Paolini
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012)
2012-01-01 Luca Paolini
Deltas for Functional Programs with Algebraic Data Types
2023-01-01 Damiani F.; Kamburjan E.; Lienhardt M.; Paolini L.
Efficient static analysis and verification of featured transition systems
2022-01-01 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.
Essential and relational models
2017-01-01 Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, S.
From Featured Transition Systems to Modal Transition Systems with Variability Constraints
2015-01-01 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-01-01 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G.
Intersection Types and Related Systems (ITRS)
2012-01-01 Silvia Ghilezan; Luca Paolini