„Program Analysis“

Suchergebnisse

7.892 Treffer

• CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
  Chisham, Brandon ; Pontelli, Enrico ; Son, Tran Cao ; Wright, Ben 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
  Kochems, Jonathan ; Ong, C.H. Luke 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Analysis to Support Concurrent Programming in Declarative Languages
  Demeyer, Romain 2010 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
• A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
  Lopez-Garcia, Pedro ; Darmawan, Luthfi ; Bueno, Francisco 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rewriting Logic Semantics Approach to Modular Program Analysis
  Hills, Mark ; Rosu, Grigore 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 a Unifying Framework for Tuning Analysis Precision by Program Transformation
  Dalla Preda, Mila 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cybersecurity Games for Secure Programming Education in the Industry: Gameplay Analysis
  Gasiba, Tiago Espinha ; Lechner, Ulrike ; Rezabek, Filip ; Pinto-Albuquerque, Maria 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scaling up a Programmers' Profile Tool
  Aragão, Martinho ; Pereira, Maria João Varanda ; Henriques, Pedro Rangel 2019 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
• Towards Incremental and Modular Context-Sensitive Analysis
  Garcia-Contreras, Isabel ; Morales, José F. ; Hermenegildo, Manuel V. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Embedded Program Annotations for WCET Analysis
  Schommer, Bernhard ; Cullmann, Christoph ; Gebhard, Gernot ; Leroy, Xavier ; Schmidt, Michael ; Wegener, Simon 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
• BEST: a Binary Executable Slicing Tool
  Mangean, Armel ; Béchennec, Jean-Luc ; Briday, Mikaël ; Faucou, Sébastien 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082)
  Cito, Jürgen ; Piskac, Ruzica ; Santolucito, Mark ; Zaidman, Andy ; Sokolowski, Daniel
• Programming Language Processing (Dagstuhl Seminar 23062)
  Pradel, Michael ; Ray, Baishakhi ; Sutton, Charles ; Yahav, Eran
• Constraint Propagation and Explanation over Novel Types by Abstract Compilation
  Gange, Graeme ; Stuckey, Peter J. 2016 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