Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Abstrakte Interpretation

Analysetechnik, mit der man dynamische Eigenschaften von Programmen feststellen kann, ohne sie tatsächlich auszuführen (Ferdinand, Chr.: Cache Behavior...)

Subject heading

Abstrakte Interpretation

Definition

Analysetechnik, mit der man dynamische Eigenschaften von Programmen feststellen kann, ohne sie tatsächlich auszuführen (Ferdinand, Chr.: Cache Behavior...)

Synonym

Abstract interpretation

Topic

Informatik, Datenverarbeitung

Source

Lex-Informatik

Record type

Allgemeinbegriff

GND-Identifier

4621153-6

Record ID

960673660

Topic of

show all

Automatic Data Dependence Analysis by Deductive Verification

Wissenschaftliches Arbeiten und Schreiben : Eine Einführung aus der Perspektive der Wirtschaftswissenschaften

Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 ; proceedings

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, model checking, and abstract interpretation : 16th international conference ; proceedings

Verification, model checking, and abstract interpretation : 15th international conference ; proceedings

Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Verification, model checking, and abstract interpretation : 14th international conference ; proceedings

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Timing model derivation : pipeline analyzer generation from hardware description languages

Timing model derivation : pipeline analyzer generation from hardware description languages

Verification, model checking, and abstract interpretation : 13th international conference ; proceedings

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Refined probabilistic abstraction

Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

Verification, model checking, and abstract interpretation : 12th international conference ; proceedings

Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

Foundational and practical aspects of resource analysis : first international workshop ; revised selected papers

Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

Static analysis : 17th international symposium ; proceedings

Verification, model checking, and abstract interpretation : 11th international conference ; proceedings

Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Static analysis : 16th international symposium ; proceedings

Static analysis : 16th international symposium ; proceedings

Verification, model checking, and abstract interpretation : 10th international conference ; proceedings

Programming languages and systems : proceedings

Programming languages and systems : proceedings

Static analysis : 15th international symposium ; proceedings

Static analysis : 15th international symposium ; proceedings

Verification, model checking, and abstract interpretation : 8th international conference ; proceedings

Verification, model checking, and abstract interpretation : 9th international conference ; proceedings

Verification, model checking, and abstract interpretation : 10th international conference ; proceedings

Programming languages and systems : proceedings

Programming languages and systems : proceedings

Verification, model checking, and abstract interpretation : 8th international conference ; proceedings

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Variations on constants : flow analysis of sequential and parallel programs

Variations on constants : flow analysis of sequential and parallel programs

Verification, model checking, and abstract interpretation : 7th international conference ; proceedings

Verification, model checking, and abstract interpretation : 7th international conference ; proceedings

Safe and precise WCET determination by abstract interpretation of pipeline models

Verification, model checking, and abstract interpretation : 6th international conference ; proceedings

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Safe and precise WCET determination by abstract interpretation of pipeline models

Verification, model checking, and abstract interpretation : 5th international conference ; proceedings

Verification, model checking, and abstract interpretation : 4th international conference ; proceedings

Verification, model checking, and abstract interpretation : 5th international conference ; proceedings

Verification, model checking, and abstract interpretation : 4th international conference ; proceedings

Verification, model checking, and abstract interpretation : third international workshop ; revised papers

Verification, model checking, and abstract interpretation : third international workshop ; revised papers

Verification of Erlang programs using abstract interpretation and model checking

Verification of Erlang programs using abstract interpretation and model checking

Cache behavior prediction for real time systems
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal