„static program analysis“

Suchergebnisse

227 Treffer

• Adaptive Context-sensitive Analysis for JavaScript
  Wei, Shiyi ; Ryder, Barbara G. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability Analysis of Innermost Rewriting
  Genet, Thomas ; Salmon, Yann 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis for Checking Data Format Compatibility of Programs
  Devaki, Pranavadatta ; Kanade, Aditya 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program analysis for code duplication in logic programs
  Dandois, Celine 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Determining Programming Languages Complexity and Its Impact on Processing
  Pinto, Gonçalo Rodrigues ; Henriques, Pedro Rangel ; da Cruz, Daniela ; Cruz, João 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Comprehension and Quality Experiments in Programming Education
  Medvidova, Maria ; Porubän, Jaroslav 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Static Performance Guarantees for Programs with Run-Time Checks
  Klemen, Maximiliano ; Stulova, Nataliia ; Lopez-Garcia, Pedro ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The W-SEPT Project: Towards Semantic-Aware WCET Estimation
  Maiza, Claire ; Raymond, Pascal ; Parent-Vigouroux, Catherine ; Bonenfant, Armelle ; Carrier, Fabienne ; Cassé, Hugues ; Cuenot, Philippe ; Claraz, Denis ; Halbwachs, Nicolas ; Jahier, Erwan ; Li, Hanbing ; de Michiel, Marianne ; Mussot, Vincent ; Puaut, Isabelle ; Rochange, Christine ; Rohou, Erven ; Ruiz, Jordy ; Sotin, Pascal ; Sun, Wei-Tsun 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Profile Detection Through Source Code Static Analysis
  Ferreira Novais, Daniel ; Varanda Pereira, Maria João ; Rangel Henriques, Pedro 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Same Block Relations for Relational Cache Analysis
  Wegener, Simon 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Predicated WCET Analysis
  Marref, Amine ; Bernat, Guillem 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automatic Amortised Worst-Case Execution Time Analysis
  Herrmann, Christoph A. ; Bonenfant, Armelle ; Hammond, Kevin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Pointon, Robert 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Pointer Analysis (Dagstuhl Seminar 13162)
  Lhotak, Ondrej ; Smaragdakis, Yannis ; Sridharan, Manu
• CSAFuzzer: Fuzzing smart contracts combining with static analysis
  Yang, Jiahui ; Zhao, Xiangfu ; Zhang, Hanfeng ; He, Long ; Wang, Shiji ; Gou, Naixiang
• Statische Programmanalyse/Static program analysis
  Blaschek, G.
• The Science of Quantitative Information Flow
  Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle ; Morgan, Carroll ; Palamidessi, Catuscia ; Smith, Geoffrey S. 2020 Springer International Publishing
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• Type Systems for Distributed Programs: Components and Sessions
  Dardha, Ornela 2016 Atlantis Press
• Directed Algebraic Topology and Concurrency
  Fajstrup, Lisbeth ; Goubault, Eric 2016 Springer International Publishing