Search for dissertations about: "abstract interpretation"
Showing result 1 - 5 of 139 swedish dissertations containing the words abstract interpretation.
-
1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs
Abstract : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. READ MORE
-
2. Type Domains for Abstract Interpretation : A critical study
Abstract : Programming languages with dynamic typing such as Prolog do not require that the programmer declares the types of data or procedures. This flexibility, however, comes at a price. The lack of declarations makes it hard for a compiler to produce fast code since data must be assumed to be of any type. READ MORE
-
3. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements
Abstract : In a real-time system, it is crucial to ensure that all tasks of the system holdtheir deadlines. A missed deadline in a real-time system means that the systemhas not been able to function correctly. If the system is safety critical, this canlead to disaster. READ MORE
-
4. Interpretation and Alignment of 2D Indoor Maps : Towards a Heterogeneous Map Representation
Abstract : Mobile robots are increasingly being used in automation solutions with notable examples in service robots, such as home-care, and warehouses. Autonomy of mobile robots is particularly challenging, since their work space is not deterministic, known a priori, or fully predictable. READ MORE
-
5. A systematic approach to abstract interpretation of logic programs
Abstract : The notion of abstract interpretation facilitates a formalized process of approximating meanings of programs. Such approximations provide a basis for inferring properties of programs. READ MORE