Sökning: "abstract interpretation"

Visar resultat 1 - 5 av 239 avhandlingar innehållade orden abstract interpretation.

1. 1. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

   Författare :Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : 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. LÄS MER

3. 2. Type Domains for Abstract Interpretation : A critical study

   Författare :Per Mildner; Jonas Barklund; Håkan Millroth; Roland Bol; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

   Sammanfattning : 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. LÄS MER

4. 3. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements

   Författare :Stefan Bygde; Björn Lisper; Andreas Ermedahl; Jan Gustafsson; Konstantinos Sagonas; Ulf Nilsson; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; parametric WCET analysis; program analysis; abstract interpretation; Computer science; Datalogi; Computer Science; datavetenskap;

   Sammanfattning : 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. LÄS MER

5. 4. Harmoniserade tulltaxor. Införlivande tolkning och tillämpning av internationella regler för varuklassificering

   Författare :Christina Moëll; Juridiska institutionen; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; harmonized tariff schedules; combined nomenclature; international trade; customs tariff; classification of goods; harmonized system; European law; interpretation; EU-rätt; fiscal law; skatterätt; finansrätt; EU law;

   Sammanfattning : In international commerce, various taxes and charges are levied on commodities; besides, goods may be subject to import and export restrictions. However, free-trade agreements may stipulate that some goods can be imported and exported free of charge. LÄS MER

7. 5. Interpretation and Alignment of 2D Indoor Maps : Towards a Heterogeneous Map Representation

   Författare :Saeed Gholami Shahbandi; Björn Åstrand; Roland Philippsen; Antanas Verikas; Patric Jensfelt; Högskolan i Halmstad; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Robotics; Mobile Robots; Autonomous Robots; Robot Perception; Robotic Mapping; Map Interpretation; Semantic Mapping; Place Categorization; Place Labeling; Semantic Annotation; Map Alignment; Region Segmentation; Region Decomposition; Map Representation; Heterogeneous Representation;

   Sammanfattning : 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. LÄS MER