CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 11 di 11
Titolo Data di pubblicazione Autore(i) File
Modelling Prolog Control 1-gen-1991 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Oracle Semantics for Prolog 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Maher, M.
Modeling Prolog Control 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 1-gen-1992 Barbuti, Roberto; Giacobazzi, Roberto
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 1-gen-1993 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control 1-gen-1993 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio
Oracle Semantics for Prolog 1-gen-1995 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Maher, M.
Sound up-to techniques and Complete abstract domains 1-gen-2018 Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
Code obfuscation against abstraction refinement attacks 1-gen-2018 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Local Completeness in Abstract Interpretation 1-gen-2023 Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F.
A Correctness and Incorrectness Program Logic 1-gen-2023 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Mostra risultati da 1 a 11 di 11
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile