PAOLINI, LUCA LUIGI

PAOLINI, LUCA LUIGI  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 82 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
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 Stable Programming Language 2006 L. PAOLINI
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
A certified study of a reversible programming language 2018 Luca Paolini; Mauro Piccolo; Luca Roversi
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012) 2012 Luca Paolini
La chiamata per Valore e La valutazione pigra nel λ-calcolo 1998 L. PAOLINI
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
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.
Élements de Ludique 2000 L. PAOLINI
The fixed point problem for general and for linear SRL programs is undecidable 2018 Matos, Armando B.; Paolini, Luca; Roversi, Luca
The fixed point problem of a simple reversible language 2020 Armando Matos, Luca Paolini, Luca Roversi
A formal model for Multi Software Product Lines 2019 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 2015 ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
Intersection Types and Related Systems (ITRS) 2012 Silvia Ghilezan; Luca Paolini