„Abstract Interpretation“
Suchergebnisse
1.000+ Treffer
-
Impact of adding a limitations section to abstracts of systematic reviews on readers’ interpretation: a randomized controlled trial
-
Abstract interpretation – 28.08. - 01.09.95
-
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
-
Thread-Modular Abstract Interpretation: The Local Perspective
-
Functional Abstract Interpretation
-
Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
-
Aspects of 3D perception, abstraction, and interpretation in autonomous mobile robotics
-
Symbolic Representations in WCET Analysis
-
Cluster abstraction of graph transformation systems
-
Cluster abstraction of graph transformation systems
-
Symbolic representations in WCET analysis
-
Automatic abstraction for bit-vectors using decision procedures
-
Non-referential visual contexts effects on incremental semantic interpretation of abstract sentences : an eye-tracking reading study
-
Towards Putting Abstract Interpretation of Prolog into Practice – Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
-
Cartesian abstraction and verification of multithreaded programs
-
Safe and precise WCET determination by abstract interpretation of pipeline models
-
Verification of Erlang programs using abstract interpretation and model checking
-
Abstraktionsdrang : Wilhelm Worringer und der Geist der Moderne
-
Kandinskys Abstraktion : die Entstehung und Transformation seines Bildkonzepts
-
Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings