Abstract Interpretation of Annotated Commands
نویسنده
چکیده
Interpretation of Annotated Commands
منابع مشابه
Execution and Verification of Imperative Programs
This paper studies the relation between execution and verification. A simple imperative language with execution and verification commands is introduced. A machine only executes execution commands of a program, while the compiler only performs the verification commands. Common commands in other languages can be defined as a combination of execution and verification commands. Design of verifiers ...
متن کاملType Theory and Projections for Higher-Order Static Analysis
A system of annotated types is proposed as a means of describing and inferring static information, such as strictness and constancy, about functional programs. An abstract semantics is given in terms of projections. The paper then proceeds to demonstrate a close connection between annotated type assignment and projection analysis. 1 Introduction. Modern implementations of functional programming...
متن کاملLogic Programs as Compact Denotations
This paper shows how logic programs can be used to implement the transition functions of denotational abstract interpretation. The logic variables express regularity in the abstract behaviour of commands. The technique has been applied to sign, class and escape analysis for object-oriented programs. We show that the time and space costs using logic programs for these analyses are smaller than t...
متن کاملAnalysis of disassembled executable codes by abstract interpretation
The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...
متن کاملA toolkit of resource-sensitive, multimodal widgets
Behaviour Widget State of current widget In Outside system: User input to widget Out Feedback Manager: Abstract, media independent feedback requests Feedback Manager Widget Media used by widget In Abstract Behaviour: Abstract, media independent feedback requests Control System: Commands regarding output media Out Module Mapper(s): Abstract, media specific feedback requests Module Mapper Widget ...
متن کامل