„Programmanalyse“

Suchergebnisse

478 Treffer

• A flow analysis framework for realistic scheme programs
  Knauel, Eric Jean
• Struktur- und verhaltensbasierte Entwurfsmustererkennung
  Wendehals, Lothar
• Cooperative bug isolation – winning thesis of the 2005 ACM doctoral dissertation competition
  Liblit, Ben 2007 Springer
• Impact analysis for aspectJ - a critical analysis and tool-based ppproach to AOP
  Störzer, Maximilian
• KABA – a system for refactoring Java programs
  Streckenbach, Mirko
• Programmanalyse des XRTL-Zwischencodes
  Backes, Werner
• Designing parallel algorithms for SMP clusters
  Schmollinger, Martin
• A universal realizability model for sequential functional computation
  Rohr, Alexander
• A framework for checking programmer defined constraints on the definition and use of program elements in Java
  Bokowski, Boris
• Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik
  Robschink, Torsten
• Generating program analyzers
  Martin, Florian
• Advanced slicing of sequential and concurrent programs
  Krinke, Jens
• Sichtgraphen – ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen
  Goßens, Stefan
• Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse
  Mian Syed, Ahmed
• Editorial
  Fleige, Marion ; von Hippel, Aiga
• Programming Languages and Systems – 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
  2023 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
  2016 Springer International Publishing
• Programming Languages and Systems – 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
  Hu, Zhenjiang 2009 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
  Barthe, Gilles 2010 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  Cook, Byron 2007 Springer International Publishing