Search for dissertations about: "Meta-programming"

Showing result 1 - 5 of 7 swedish dissertations containing the word Meta-programming.

2. 1. Language-Based Techniques and Stochastic Models for Automated Testing

   Author : Claudio Agustin Mista; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated testing; software testing; stochastic methods; meta-programming; functional programming;

   Abstract : As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. READ MORE

4. 2. Computational Issues in Calculi of Partial Inductive Definitions

   Author : Per Kreuger; RISE; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

   Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE

5. 3. Automated Derivation of Random Generators for Algebraic Data Types

   Author : Claudio Agustin Mista; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Random Testing; Penetration Testing; Meta-programming; Haskell;

   Abstract : Many testing techniques such as generational fuzzing or random property-based testing require the existence of some sort of random generation process for the values used as test inputs. Implementing such generators is usually a task left to end-users, who do their best to come up with somewhat sensible implementations after several iterations of trial and error. READ MORE

6. 4. Contributions to Meta-Modeling Tools and Methods

   Author : Adrian Pop; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Abstract : Highly integrated domain-specific environments are essential for the efficient design of complex physical products. However, developing such design environments is today a resource-consuming error-prone process that is largely manual. Meta-modeling and meta-programming are the key to the efficient development of such environments. READ MORE

7. 5. Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages

   Author : Adrian Pop; Peter Fritzson; Hans Vangheluwe; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Integrated Environments; Modeling; Simulation; Equation-based Object-oriented Languages; Debugging; UML-SysML; Computer science; Datalogi;

   Abstract : Integrated development environments are essential for efficient realization of complex industrial products, typically consisting of both software and hardware components. Powerful equation-based object-oriented (EOO) languages such as Modelica are successfully used for modeling and virtual prototyping increasingly complex physical systems and components, whereas software modeling approaches like UML, especially in the form of domain specific language subsets, are increasingly used for software systems modeling. READ MORE