Search for dissertations about: "formal language theory"

Showing result 11 - 15 of 45 swedish dissertations containing the words formal language theory.

  2. 11. Multi-Stage Programming : Its Theory and Applications

    Author : Walid Taha; Oregon Graduate Institute of Science and Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : MetaML is a statically typed functional programming language with special support for programgeneration. In addition to providing the standard features of contemporary programminglanguages such as Standard ML, MetaML provides three staging annotations. These staging annotationsallow the construction, combination, and execution of object-programs. READ MORE

  4. 12. Rigorous Simulation : Its Theory and Applications

    Author : Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Abstract : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. READ MORE

  5. 13. Semantic Inspection of Software Artifacts From Theory to Practice

    Author : Tim Heyer; Ulf Nilsson; Anders Törne; Staffan Bonnier; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software development process; programming; program language; UML; Computer science; Datavetenskap;

    Abstract : Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. READ MORE

  6. 14. Testing and Proving using Narrowing

    Author : Fredrik Lindblad; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; program correctness; software testing; formal verification; proof construction; dependent types; type theory; narrowing; dependent types;

    Abstract : In order to know if a program is correct a specification of its intended behaviour must be stated. The two main activities concerning program correctness are testing and verification. READ MORE

  7. 15. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Author : Gabriele Paganelli; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE