Essays about: "Programspråk"
Showing result 1 - 5 of 15 essays containing the word Programspråk.
-
1. Parallel Query Systems : Demand-Driven Incremental Compilers
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Query systems were recently introduced as an architecture for constructing compilers, and have shown to enable fast and efficient incremental compilation, where results from previous builds is reused to accelerate future builds. With this architecture, a compiler is composed of several queries, each of which extracts a small piece of information about the source program. READ MORE
-
2. Reliable Web Applications Through Contracts and Generative Testing
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Client-side web applications have recently gone from progressive enhancements to powering large scale Single-page Applications (SPAs). Testing such applications is a tedious effort, often requiring manually constructing tests and emulating the browser, which leads to high programming effort and low performance. READ MORE
-
3. Synthesis of Annotations for Partially Automated Deductive Verification
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. READ MORE
-
4. Design and Implementation of Semantic Patch Support for the Spoon Java Transformation Engine
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Software development is more often than not a collaborative process, creating a need for tools and file formats that enable developers to create and share succinct representations of changes to source code in order to facilitate efficient communication. Standard POSIX diffs and patches have long been important parts of the toolkit, but their lack of support for the syntax and semantics of specific programming languages results in limited expressiveness. READ MORE
-
5. A Comparison of Performance & Implementation Complexity of Multithreaded Applications in Rust, Java and C++
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : With computer systems increasingly relying on multithreading for increasing performance the importance of multithreaded programs also increase. In this comparative study of performance and implementation complexity, the same multithreaded key-value store database was developed in three languages: Java, Rust and C++. READ MORE
