Search for dissertations about: "compiler correctness"
Showing result 1 - 5 of 9 swedish dissertations containing the words compiler correctness.
-
1. Proving the correctness of a virtual machine by a bisimulation
Abstract : .... READ MORE
-
2. Programming Language Primitives and Tools for Integrated Real-Time Systems Development
Abstract : The correctness of real-time systems depends on both its logical and temporal correctness. Typically, real-time systems are developed in several steps. First, the application is divided into a number of recurrent tasks and implemented using a programming language. READ MORE
-
3. A Verified Theorem Prover for Higher-Order Logic
Abstract : This thesis is about mechanically establishing the correctness of computer programs. In particular, we are interested in establishing the correctness of tools used in computer-aided mathematics. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. READ MORE
-
4. Verified proof checking for higher-order logic
Abstract : This thesis is about verified computer-aided checking of mathematical proofs. We build on tools for proof-producing program synthesis, and verified compilation, and a verified theorem proving kernel. Using these tools, we have produced a mechanized proof checker for higher-order logic that is verified to only accept valid proofs. READ MORE
-
5. Random Structured Test Data Generation for Black-Box Testing
Abstract : We show how automated random testing can be used to effectively find bugs in complex software, such as an optimising compiler. To test the GHC Haskell compiler we created a generator of simple random programs, used GHC to compile them with different optimisation levels, and thencompared the results of running them. READ MORE