Searched for: subject%3A%22types%22
(1 - 20 of 296)

Pages

List view
Grid view
document
Marynets, K. (author), Pantova, D.H. (author)
We study a system of non-linear fractional differential equations, subject to integral boundary conditions. We use a parametrization technique and a dichotomy-type approach to reduce the original problem to two “model-type” fractional boundary value problems with linear two-point boundary conditions. A numerical-analytic technique is applied...
journal article 2024
document
Holten, Lucas (author)
Writing software that follows its specification is important for many applications. One approach to guarantee this is formal verification in a dependently-typed programming language. Formal verification in these dependently-typed languages is based on proof writing. Sadly, while proofs are easy to check for computers, writing proofs can be...
master thesis 2023
document
Tilro, Jesse (author)
Reusable tools for engineering software languages can bridge the gap between formal specification and implementation, lowering the bar for engineers to design and implement programming languages. Among such tools belong NaBL2 and its successor Statix, which are meta-languages for declaratively specifying the static semantics of programming...
master thesis 2023
document
Hofstee, Toon (author)
This research paper focuses on improving the performance of cross-docking operations under uncertainty in the context of e-commerce logistics. The growth of e-commerce sales has increased product returns and complexity to supply chains. To address this issue, this study investigates how cross-docking operations can be improved under external and...
master thesis 2023
document
van Dijk, Jolijn (author)
With the increasing transition to battery electric vehicles (EVs) and concerns about the capacity of the existing electrical infrastructure, the need for effective grid capacity management has become apparent. The V2X innovation, also known as bidirectional charging, has potential to enable EVs to interact with the electricity grid for various...
master thesis 2023
document
feng, lang (author)
Type inference plays a pivotal role in modern software development as it aids in understanding code, detecting errors, and facilitating code completion. Two main approaches, static analysis, and machine learning, contribute to this process. Each approach has its own benefits and limitations. This thesis investigates the potential of combining...
master thesis 2023
document
de Bruin, Ivar (author)
Agda is a language used to write computer-verified proofs. It has a module system that provides namespacing, module parameters and module aliases. These parameters and aliases can be used to write shorter and cleaner proofs. However, the current implementation of the module system has several problems, such as an exponential desugaring of module...
master thesis 2023
document
Spijksma, Cedric (author)
Architects and urban planners still rely on physical models in the design process, particularly for urban contexts. However, developing such models can be time-consuming and resource-intensive, despite the abundance of digital information available. This study investigates the feasibility of using pin-type models, specifically in the concept and...
master thesis 2023
document
Bastenhof, Jeroen (author)
Refactoring is a useful tool for increasing the overall quality of software without making changes to how it interacts with the environment. To verify that a refactoring operation correctly transforms an expression, one can provide a formal proof. Using Agda, a dependently-typed language, as a proof assistant, we investigate the feasibility of...
bachelor thesis 2023
document
Hübner, Paul (author)
Scope graphs provide a way to type-check real-world programming languages and their constructs. A previous implementation that type-checks the proof-of-concept language LM, a language with relative, unordered, and glob imports, does not halt. This thesis discusses a five-step approach for constructing and type-checking a scope graph of an LM...
bachelor thesis 2023
document
Knapen, Jan (author)
Substructural typing imposes additional constraints on variable usage during type checking and requires specialized approaches to ensure type soundness. In this study, we investigate the implementation of a type checker using scope graphs for languages with substructural type systems. Scope graphs, a data structure representing scoping, provide...
bachelor thesis 2023
document
Mocanu, Andreea (author)
In this paper, we explore scope graphs as a formal model for constructing type checkers for programming languages that support type classes. Type classes provide a powerful mechanism for ad hoc-polymorphism and code reuse. Nevertheless, the incorporation of type classes into type checkers poses challenges, as it necessitates the resolution of...
bachelor thesis 2023
document
Rungta, Priyam (author)
Maven, a widely adopted software ecosystem for Java libraries, plays a critical role in the development and deployment of software applications. However, there exists a limited understanding of the composition and characteristics of the Maven repository, leaving users and contributors unaware of the contents they interact with. This research...
bachelor thesis 2023
document
Das, Aratrika (author)
Type 2 Diabetes is a very prevalent disease in current times and leads to significant adverse effects. Recently, there has been a growing interest in the association of the human gut microbiome with respect to chronic diseases like Type 2 Diabetes with the aim to identify biomarkers. In this study, we researched the effect of different machine...
bachelor thesis 2023
document
Staal, Martijn (author)
Type checkers are invaluable tools which help programmers write correct programs. Fast and efficient type checkers are required to enable adoption of such tools in practice.<br/><br/>This study aims to provide an explorative overview of proposed efficiency improvements for type checkers. This provides language implementers insight in what...
bachelor thesis 2023
document
Viero, Diego (author)
In recent decades, automatic test generation has advanced significantly, providing developers with time-saving benefits and facilitating software debugging. While most research in this field focused on search-based test generation tools for statically-typed languages, only a few have been adapted for dynamically-typed languages. The larger...
bachelor thesis 2023
document
Faraldos Pijoan, Pau (author)
Data types and pattern matching are fundamental concepts in programming. Data types define the structure of data, while pattern matching allows efficient manipulation and extraction of the same data. This text provides an overview of different implementation techniques for type systems regarding data types and pattern matching in the existing...
bachelor thesis 2023
document
Greeve, Tiago (author)
This paper will give a formalisation of proofs, given in the paper "isomorphism is equality", in the proof assistant language Coq. The formalisations will be added to UniMath library. A library containing machine readable proofs in the mathematical field of Homotopy Type theory, a relatively new field which combines Homotopy Theory and Martin...
bachelor thesis 2023
document
Kocakaya, Hasan (author)
Names are essential for structuring and reason-ing about programs. However, the implementation of names differs across many programming lan-guages. There is an bundance of choice between various implementation techniques with regards to name-binding techniques. As such, when design-ing a programming language it is not clear which technique one...
bachelor thesis 2023
document
Mihălăchiuţă, Radu (author)
This paper investigates the viability of using scope graphs to implement type checkers for programming languages, specifically for a Scala subset. The primary objective is to determine if scope graphs can offer a declarative and extensible approach to type checking. To achieve this, we used a phased Haskell library to implement such a type...
bachelor thesis 2023
Searched for: subject%3A%22types%22
(1 - 20 of 296)

Pages

List view
Grid view