Pages
- 1
- 2
- document
-
Maddila, C.S. (author)The software development life cycle (SDLC) for a developer has increased in complexity and scale. With the advent of DevOps processes, the gap between development and operations teams reduced significantly. Developers are now expected to perform different roles from coding to operational support in the new model of software development. This...doctoral thesis 2022
- document
-
Feenstra, Jos (author)In the field of Geographical Information Science (GIS), geodata transformation and analysis tools often take the shape of software libraries written in system level programming languages. <br/>However, the societal impact of these tools is often limited, as most end users only access these libraries via indirect means: Through bindings in other...master thesis 2022
- document
-
Molendijk, Thijs (author)The dynamic semantics of a programming language formally describe the runtime behavior of any given program. In this thesis, we present Dynamix, a meta-language for dynamic semantics. By writing a specification for a language in Dynamix, a compiler for the language can be derived automatically.<br/><br/>Dynamix specifications compile source...master thesis 2022
- document
-
de Haas, Olav (author)Formal verification of imperative programs can be carried out on paper by annotating programs to obtain an outline of a proof in the style of Hoare. This process has been mechanized by the introduction of Separation Logic and computer assisted verification tools. However, the tools fail to achieve the readability and convenience of manual paper...master thesis 2022
- document
-
Bijman, Matthijs (author)Dataflow analysis is a powerful tool used for program optimization, static analysis, and editor services for many programming languages. Spoofax, a language workbench, contains a domain-specific language called FlowSpec for the definition of control-flow and dataflow semantics that language developers can use to implement dataflow analyses for...master thesis 2022
- document
-
Mesters, Brendan (author)Effect Handler Oriented Programming is a promising new programming paradigm, delivering separation of of concerns with regards to side effects in an otherwise functional environment.<br/>This paper discusses the applicability of this new paradigm to static code analysis programs. <br/>Different code analyzers often have many similar, if not...bachelor thesis 2022
- document
-
Todorov, Ivan (author)Effect handler oriented programming (EHOP) is a recently proposed programming paradigm, which aims to provide a separation of concerns by isolating the handling of side-effects from the main application logic. Nowadays, as the core concepts behind EHOP are being added to more and more programming languages, it is evident that EHOP is slowly but...bachelor thesis 2022
- document
-
Streef, Sam (author)Effect handler orient programming (EHOP) is a recently proposed programming paradigm that aims to provide a high-level abstraction in code. Using this paradigm, programmers are able to define operations as an effect, which are implemented by an effect handler. Functions can then use effects, allowing the effect operations to be used in this...bachelor thesis 2022
- document
-
Mooij, A.J. (author)In the last couple of years several dynamically-typed, object-oriented programming languages have been equipped with optional static type checkers. This typically requires these languages to be extended with a downcast operator, which is a common operator in statically-typed languages but not in dynamically-typed languages. Our objective is...journal article 2022
- document
-
Pejić, Saša Pejić (author)In recent years the AEC industry has started implementing more new technologies. Still, the adoption process is slow. One of the crucial steps during the building designing is a justification of design according to previously defined requirements. That process is still manual to a large extent, therefore unnecessarily time-consuming and prone to...master thesis 2021
- document
-
Backx, Ruben (author)Grading and giving feedback to student submissions automatically is becoming more and more necessary with an increasing amount of students. To verify the correctness of student-written definitional interpreters, a program equivalence approach has been implemented, improved, and extended with new rules to make it more suited specifically for...bachelor thesis 2021
- document
-
Pîrcălăboiu, Laura (author)Recent years have seen a surge of interest for dynamic testing techniques, one of which is symbolic execution. It is the main point of interest of this research paper, in which we give an overview of a framework for symbolically executing definitional interpreters. We will also discuss techniques that we made use of in developing the symbolic...bachelor thesis 2021
- document
-
Bot, Bernard (author)Compilers translate high-level source code into low-level machine code. To represent source code a compiler uses a language called the intermediate representation (IR). An IR for the compilation of functional languages is continuation-passing style (CPS). It provides convenient abstractions for both data flow and control flow. However, CPS...master thesis 2021
- document
-
de Souza Amorim, L.E. (author), Visser, Eelco (author)SDF3 is a syntax definition formalism that extends plain context-free grammars with features such as constructor declarations, declarative disambiguation rules, character-level grammars, permissive syntax, layout constraints, formatting templates, placeholder syntax, and modular composition. These features support the multi-purpose...conference paper 2020
- document
-
Mosses, P.D. (author)The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. CBS provides an extensive library of reusable language specification components, facilitating co...conference paper 2019
- document
-
Goderie, Jeffrey (author)Programmable Logic Controllers (PLCs) are used to control large scale systems with thousands of I/O devices. Writing and maintaining the logic for each of these is a cumbersome task, which is well suited to be abstracted through templating. For this purpose, CERN developed the Unicos Application Builder (UAB). While UAB is successful at...master thesis 2019
- document
-
Mosses, P.D. (author)The SLE conference series is devoted to the engineering principles of software languages: their design, their implementation, and their evolution. This paper is about the role of language specification in SLE. A precise specification of a software language needs to be written in a formal meta-language, and it needs to co-evolve with the...journal article 2019
- document
-
Binsbergen, L. Thomas van (author), Mosses, P.D. (author), Sculthorpe, Neil (author)The potential benefits of formal semantics are well known. However, a substantial amount of work is required to produce a complete and accurate formal semantics for a major language; and when the language evolves, large-scale revision of the semantics may be needed to reflect the changes. The investment of effort needed to produce an initial...journal article 2019
- document
-
Maas, Olaf (author)Language Workbenches are instruments developers use to create new domain-specific languages. They provide tools to rapidly develop, test and deploy new languages. Currently, workbenches support deployment in desktop-based integrated development environments. Setting up these environments can be a hurdle for the often non-technical users of these...master thesis 2018
- document
-
Kunst, GJ (author)For programs controlling industrial processes, it is of vital importance that they produce results conform their functional specification. Furthermore, it is important that their running times are bounded, and that we can predict corresponding worst-case scenarios. Programs written in general purpose programming languages can crash or produce...master thesis 2018
Pages
- 1
- 2