„Programmanalyse“

Suchergebnisse

478 Treffer

• Verification, model checking, and abstract interpretation – 5th international conference ; proceedings
  Steffen, Bernhard 2003 Springer
• Programming languages and systems – first Asian symposium
  Ohori, Atsushi 2003 Springer
• Verification, model checking, and abstract interpretation – 4th international conference ; proceedings
  Zuck, Lenore D. 2002 Springer
• Programming languages and systems – proceedings
  Degano, Pierpaolo 2003 Springer
• Formal methods in computer aided design – third international conference ; proceedings
  Hunt, Warren A. 2002 Springer
• Static analysis – 5th international symposium ; proceedings
  Levi, Giorgio 2002 Springer
• Programming languages and systems – proceedings
  Sands, David 2001 Springer
• Programs as data objects – second symposium ; proceedings
  Danvy, Olivier 2001 Springer
• Model checking software – proceedings
  Dwyer, Matthew 2001 Springer
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• Programming languages and systems – proceedings
  Smolka, Gert 2000 Springer
• Semantics, applications, and implementation of program generation – second international workshop ; proceedings
  Taha, Walid Mohamed 2001 Springer
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• Programming languages and systems – proceedings
  Le Métayer, Daniel 2002 Springer
• Kodierleitfaden zur Programmanalyse im Projekt „Berufliche Weiterbildung in Volkshochschulen, Zugänge zum Lebenslangen Lernen"
  Iffert, Stefanie ; Thöne-Geyer, Bettina ; Schmidt, Caroline ; Fleige, Marion ; Gieseke, Wiltrud ; Hippel, Aiga ˜vonœ ; Stimm, Maria 2021 Hans-Böckler-Stiftung
• Symbolic evaluation as a basis for integrated validation
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• Pragmatic techniques for program analysis and verification
  Plödereder, Erhard 2010 Universitätsbibliothek der Universität Stuttgart
• Constructing a Static Program Slicer for R Programs
  Sihler, Florian 2023 Universität Ulm
• Feministische Bildungsangebote in Frauenzentren? Eine Programmanalyse zweier Berliner Frauenzentren von 1992 bis 2019
  Kleinbach, Fenja 2022 Humboldt-Universität zu Berlin
• Änderungstolerante Serialisierung großer Datensätze für mehrsprachige Programmanalysen
  Felden, Timm ; Plödereder, Erhard 2017 Universitätsbibliothek der Universität Stuttgart