„abstract interpretation“

Suchergebnisse

1.000+ Treffer

• Impact of adding a limitations section to abstracts of systematic reviews on readers’ interpretation: a randomized controlled trial
  Yavchitz, Amélie ; Ravaud, Philippe ; Hopewell, Sally ; Baron, Gabriel ; Boutron, Isabelle
• Abstract interpretation – 28.08. - 01.09.95
  Cousot, Patrick 1995 Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes
• Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
  Dernehl, Christian Michael ; Kowalewski, Stefan ; Moormann, Dieter 2019 Universitätsbibliothek der RWTH Aachen
• Thread-Modular Abstract Interpretation: The Local Perspective
  Schwarz, Michael Benedikt ; Seidl, Helmut ; Ferrara, Pietro ; Miné, Antoine 2025 Universitätsbibliothek der TU München
• Functional Abstract Interpretation
  Graf, Sebastian ; Snelting, Gregor ; Brachthäuser, Jonathan I. 2025 KIT-Bibliothek
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Aspects of 3D perception, abstraction, and interpretation in autonomous mobile robotics
  Klasing, Klaas
• Symbolic Representations in WCET Analysis
  Wilhelm, Stephan 2012 epubli GmbH
• Cluster abstraction of graph transformation systems
  Backes, Peter 2015 epubli GmbH
• Cluster abstraction of graph transformation systems
  Backes, Peter ; Wilhelm, Reinhard 2015 Saarländische Universitäts- und Landesbibliothek
• Symbolic representations in WCET analysis
  Wilhelm, Stephan ; Wilhelm, Reinhard 2012 Saarländische Universitäts- und Landesbibliothek
• Automatic abstraction for bit-vectors using decision procedures
  Brauer, Jörg 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
• Non-referential visual contexts effects on incremental semantic interpretation of abstract sentences : an eye-tracking reading study
  Guerra, Ernesto 2014 Universitätsbibliothek Bielefeld
• Towards Putting Abstract Interpretation of Prolog into Practice – Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
  Gobert, François 2008 VDM Verlag Dr. Müller
• Cartesian abstraction and verification of multithreaded programs
  Malkis, Alexander
• Safe and precise WCET determination by abstract interpretation of pipeline models
  Thesing, Stephan
• Verification of Erlang programs using abstract interpretation and model checking
  Huch, Frank Günter
• Abstraktionsdrang : Wilhelm Worringer und der Geist der Moderne
  Öhlschläger, Claudia 2005 München : Fink
• Kandinskys Abstraktion : die Entstehung und Transformation seines Bildkonzepts
  Haldemann, Matthias 2001 München : Fink
• Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
  2016 Springer International Publishing