„static program analysis“

Suchergebnisse

227 Treffer

• Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  Barthe, Gilles 2010 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Static Analysis – 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings
  Giacobazzi, Roberto 2004 Springer Berlin Heidelberg
• Static analysis – 14th international symposium ; proceedings
  Nielson, Hanne Riis 2007 Springer
• Static analysis – 13th international symposium ; proceedings
  Yi, Kwangkeun 2006 Springer
• Static analysis – 12th international symposium ; proceedings
  Hankin, Chris 2005 Springer
• Static analysis – 7th international symposium ; proceedings
  Palsberg, Jens 2000 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Static analysis – 5th international symposium ; proceedings
  Levi, Giorgio 2002 Springer
• Static analysis – 6th international symposium ; proceedings
  Cortesi, Agostino 1999 Springer
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• Tracking the shape of data frames in R programs using abstract interpretation
  Gerstl, Oliver 2025 Universität Ulm
• Synthesizing Program Generators for Embedded Software
  Jung, Michael 2007 Shaker
• Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
  Jansen, Christina ; Katoen, Joost-Pieter ; Huisman, Marieke ; Noll, Thomas 2017 Universitätsbibliothek der RWTH Aachen
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian ; Kowalewski, Stefan ; Fay, Alexander 2016 Universitätsbibliothek der RWTH Aachen
• Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages
  Graf, Jürgen ; Snelting, G. 2016 KIT-Bibliothek
• Static detection of inevitable errors – = Statische Erkennung von unvermeidbaren Fehlern
  Schäf, Martin ; Podelski, Andreas 2011 Universität
• Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
  Biallas, Sebastian 2016 Shaker
• On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform
  Lerch, Johannes ; Mezini, Mira ; Zeller, Andreas ; Bodden, Eric 2016 Universitäts- und Landesbibliothek Darmstadt
• Comparison of static analysis architecture recovery tools for microservice applications
  Schneider, Simon Malte ; Bakhtin, Alexander ; Li, Xiaozhou ; Soldani, Jacopo ; Brogi, Antonio ; Cerny, Tomas ; Scandariato, Riccardo ; Taibi, Davide