Sfoglia per Rivista  ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 7 di 7
Titolo Data di pubblicazione Autore(i) File
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 1-gen-1993 Roberto, Barbuti; Giacobazzi, Roberto; Giorgio, Levi
A Bisimulation-based semantic theory of safe ambients 1-gen-2006 Merro, Massimo; Hennessy, Matthew
Class Analyses as Abstract Interpretations of Trace Semantics 1-gen-2003 Spoto, Nicola Fausto; T., Jensen
Reachability Analysis of Program Variables 1-gen-2013 Nikolic, Durica; Spoto, Nicola Fausto
A Semantics-Based Approach to Malware Detection 1-gen-2008 DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray
Static Identification of Injection Attacks in Java 1-gen-2019 Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
A Termination Analyzer for Java Bytecode based on Path-Length 1-gen-2010 Spoto, Nicola Fausto; F., Mesnard; E., Payet
Mostrati risultati da 1 a 7 di 7
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