„static program analysis“

Suchergebnisse

227 Treffer

• Static analysis – 19th international symposium ; proceedings
  Miné, Antoine ; Schmidt, David 2012 Springer
• Computer aided verification – 24th international conference ; proceedings
  Madhusudan, Parthasarathy ; Seshia, Sanjit A. 2012 Springer
• Types with potential: polynomial resource bounds via automatic amortized analysis
  Hoffmann, Jan 2011 Epubli
• Test case selection in industry: an analysis of issues related to static approaches
  Blondeau, Vincent ; Etien, Anne ; Anquetil, Nicolas ; Cresson, Sylvain ; Croisy, Pascal ; Ducasse, Stéphane
• Static byte-code analysis for state space reduction
  Quirós Araya, Gustavo Arturo 2007 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Cobra: a light-weight tool for static and dynamic program analysis
  Holzmann, Gerard J.
• Static Analysis – 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  Yahav, Eran 2011 Springer Berlin Heidelberg
• Static analysis – 18th international symposium ; proceedings
  Yahav, Eran 2011 Springer
• Programming languages and systems – proceedings
  Barthe, Gilles 2011 Springer
• Static analysis of x86 executables – = Statische Analyse von Programmen in x86-Maschinensprache
  Kinder, Johannes
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• Tools and Algorithms for the Construction and Analysis of Systems – 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  Abdulla, Parosh Aziz ; Leino, K.Rustan M. 2005 Springer Berlin Heidelberg
• Static and Dynamic Finite Element Analysis Using Parallel Programming
  Mann, Allan 2015 LAP LAMBERT Academic Publishing
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• Software verification: infinite state model checking and static program analysis – 06081 abstracts collection ; Dagstuhl seminar
  Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Software verification: infinite state model checking and static program analysis – Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
  Abdulla, Parosh Aziz ; Bouajjani, Ahmed ; Müller-Olm, Markus 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Runtime data race detection in multi-threaded programs – methods and tools
  Mühlenfeld, Arndt 2008 VDM Verlag Dr. Müller
• Static code analysis in multi-threaded environments
  Ehrhardt, Christian
• Verification, model checking, and abstract interpretation – 16th international conference ; proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2015 Springer