SPOTO, Nicola Fausto

SPOTO, Nicola Fausto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 86 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
A Foundation of Escape Analysis 1-gen-2002 P. M., Hill; Spoto, Nicola Fausto
A Java Framework for Smart Contracts 1-gen-2020 Spoto, Nicola Fausto
A Refinement of the Escape Property 1-gen-2002 P. M., Hill; Spoto, Nicola Fausto
A Termination Analyzer for Java Bytecode based on Path-Length 1-gen-2010 Spoto, Nicola Fausto; F., Mesnard; E., Payet
A Thread-Safe Library for Binary Decision Diagrams 1-gen-2014 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Abstract Compilation for Sharing Analysis 1-gen-2001 Gianluca, Amato; Spoto, Nicola Fausto
Abstract Interpretation of Prolog Programs 1-gen-1999 Spoto, Nicola Fausto; G., Levi
Algebraic Methods in Language Processing, AMiLP 2003 1-gen-2003 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 1-gen-1998 G., Levi; Spoto, Nicola Fausto
An Operational Semantics for Android Activities 1-gen-2014 E., Payet; Spoto, Nicola Fausto
Analysing omics data sets with weighted nodes networks (WNNets) 1-gen-2021 Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G.
Analysis of Downward Closed Properties of Logic Programs 1-gen-2000 P. M., Hill; Spoto, Nicola Fausto
Automaton-Based Array Initialization Analysis 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 1-gen-2020 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Biological network analysis with CentiScaPe: centralities and experimental dataset integration 1-gen-2015 Scardoni, Giovanni; Tosadori, Gabriele; Faizan, Mohammed; Spoto, Nicola Fausto; Fabbri, Franco; Laudanna, Carlo
Boolean Formulas for the Static Identification of Injection Attacks in Java 1-gen-2015 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 1-gen-2018 Payet, Étienne; Spoto, Nicola Fausto
CIL to Java-bytecode translation for static analysis leveraging 1-gen-2018 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Class Analyses as Abstract Interpretations of Trace Semantics 1-gen-2003 Spoto, Nicola Fausto; T., Jensen
Class Analysis of Object-Oriented Programs through Abstract Interpretation 1-gen-2001 Thomas, Jensen; Spoto, Nicola Fausto