„Programmtransformation“

Suchergebnisse

1.000+ Treffer

• Reasoning about software security via synthesized behavioral substitutes
  Blazytko, Tim ; Holz, Thorsten ; Rieck, Konrad 2020 Ruhr-Universität Bochum
• Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
  Schmidt-Schauß, Manfred 2006 Univ.-Bibliothek Frankfurt am Main
• Equivalence of call-by-name and call-by-need for lambda-calculi with letrec
  Schmidt-Schauß, Manfred 2007 Univ.-Bibliothek Frankfurt am Main
• Quellsprachorientiertes Debugging von optimierten Programmen
  Wismüller, Roland 1995 Shaker
• Optimierung objektorientierter Programme – Übersetzungstechniken, Analysen und Transformationen
  Trapp, Martin 2001 Springer Berlin Heidelberg
• Model-Driven Development, Deployment, and Analysis of Internet of Things Applications
  Kirchhof, Jörg Christian 2023 Shaker
• Phloembeladung und Zuckerstoffwechsel in Fagus sylvatica, Quercus robur und Picea abies
  Miehe, Wiebke Dorothea 2023 Universitätsbibliothek
• Untersuchungen zur Evolution der 15-Lipoxygenase (ALOX15) bei Säugetieren und funktionelle Charakterisierung von Knock-in-Mäusen mit humanisierter Reaktionsspezifität der 15-Lipoxygenase-2 (Alox15b)
  Schäfer, Marjänn Helena ; Püschel, Gerhard ; Kühn, Hartmut ; Koeberle, Andreas 2024 Universität Potsdam
• MENTALESE - an architecture-agnostic analysis framework for binary executables
  Garmany, Behrad ; Holz, Thorsten ; Rieck, Konrad 2021 Ruhr-Universität Bochum
• Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation
  Giarrusso, Paolo G. ; Ostermann, Klaus 2020 Universitätsbibliothek Tübingen
• Detecting Unrealizable Bit Vector Program Synthesis Problems
  Kamp, Marius ; Philippsen, Michael ; Keszöcze, Oliver 2024 FAU University Press
• Learning Code Transformations from Repositories
  Dotzler, Georg ; Philippsen, Michael ; Apel, Sven 2018 FAU University Press
• Networks of Nonlinear Thin Structures - Theory and Applications
  Strohmeyer, Christoph ; Leugering, Günter ; Gugat, Martin 2018 FAU University Press
• Programmtransformationen für Vielteilchensimulationen auf Multicore-Rechnern
  Schwind, Michael
• Type sound syntactic language extension
  Lorenzen, Florian ; Pepper, Peter ; Mezini, Mira ; Nestmann, Uwe 2015 Technische Universität Berlin
• Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
  Raschke, Alexander
• Extensible Languages for Flexible and Principled Domain Abstraction
  Erdweg, Sebastian Thore ; Ostermann, Klaus 2013 Philipps-Universität Marburg
• Automatic differentiation of the CapeML high-level language for process engineering
  Petera, Monika Anna 2012 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Advanced Slicing of Sequential and Concurrent Programs
  Krinke, Jens 2008 VDM Verlag Dr. Müller
• Ein Softwarekonzept zur hierarchischen Parallelisierung von stochastischen und deterministischen Inversionsproblemen auf modernen ccNUMA-Plattformen unter Nutzung automatischer Programmtransformation
  Wolf, Andreas 2011 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen