Essays about: "control flow checking"

Showing result 1 - 5 of 7 essays containing the words control flow checking.

1. 1. Adding Basic Support for Function Pointers in TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2023]
   Keywords : ;

   Abstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. READ MORE

3. 2. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

   University essay from Umeå universitet/Institutionen för datavetenskap

   Author : Arvid Bergman Thörn; [2023]
   Keywords : Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

   Abstract : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. READ MORE

4. 3. User-centred Design for Input Interface of a Machine Learning Platform

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Aditya Gianto Hadiwijaya; [2020]
   Keywords : Machine learning; machine learning platform; input interface; Maskininlärning; maskininlärningsplattform; ingångsgränssnitt;

   Abstract : Although its applications have spread beyond computer science field, the process of machine learning still has some challenges for both expert and novice users. Machine learning platform aims to automate and accelerate the delivery cycle of using machine learning techniques. READ MORE

5. 4. Lightweight Software Isolation via Flow-Sensitive Capabilities in Scala

   University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

   Author : Erik Reimers; [2017]
   Keywords : Scala; LaCasa; flow-sensitive; aliasing;

   Abstract : Aliasing is a potential source of problems in software development and can, for example,lead to data races in concurrent programs. More recent programming languages includealiasing control in order to catch more errors at compile time. However, this does notexist for most widely-used languages.LaCasa introduces aliasing control to Scala. READ MORE

6. 5. Abstract Interpretation of Unstructured Imperative Languages on Unbounded Domains

   University essay from Institutionen för informationsteknologi

   Author : Pavle Subotic; [2011]
   Keywords : ;

   Abstract : In this thesis we present a novel program analysis technique that applies abstract interpretation to low-level intermediate languages with unbounded abstract domains. Unbounded abstract domains in program analysis occur in applications such as finding ranges of variables and its applications include elimination of assertions in programs, automatically deducing numerical stability, and array bounds checking. READ MORE