Pages
- 1
- 2
- document
-
de Waard, Jens (author)Abstract interpretation is a way of approximating the semantics of a computer program, in which we derive properties of those programs without actually performing the necessary computations for running the program, through the use of an abstract interpreter. To be able to trust the result of the abstract interpretation, we would to able to prove...master thesis 2021
- document
-
Zwaan, Aron (author)Static Analysis is of indispensable value for the robustness of software systems and the efficiency of developers. Moreover, many modern-day software systems are composed of interacting subsystems written in different programming languages. However, in most cases no static validation of these interactions is applied. In this thesis, we identify...master thesis 2021
- document
-
Haisma, M.A. (author)Grace is a programming language that aims to be an example of a contemporary object-oriented language, to be used for teaching university level students. The language specification of Grace is informal, and its various implementations are difficult to comprehend and change. Spoofax Grace is an implementation of the Grace programming language,...master thesis 2017
- document
-
Fokkema, G. (author), Hidskes, J. (author), Lentz, S. (author)The Spoofax Language Workbench supports the definition of all aspects of textual languages using high-level, declarative meta-languages. From a language definition using these meta-languages, Spoofax generates full-featured Eclipse and IntelliJ editor plugins, as well as a command-line interface.” A feature that Spoofax is lacking is a Read-Eval...bachelor thesis 2016
- document
-
Van Antwerpen, H. (author)Recently scope graphs were introduced as a formalism to specify the name binding structure of a program and do name resolution independent of the abstract syntax tree of a program. In this thesis we show how to use a constraint language based on scope graphs to do static analysis of programs. We do this by extracting constraints from a program,...master thesis 2016
- document
-
De Lange, R.M. (author)Big Data is a popular research and business topic. Due to the potential value that lies in Big Data, much effort is put in attempts to improve Big Data analysis methods. ORTEC is a company that provides data analysis, optimisation, and forecasting solutions. In an attempt to make Big Data analysis easier to use for its customers, ORTEC is...master thesis 2015
- document
-
Harkes, D.C. (author)Object-oriented programming languages support concise navigation of relations represented by references. However, relations are not first-class citizens and bidirectional navigation is not supported. The relational paradigm provides first-class relations, but with bidirectional navigation through verbose queries. We present a systematic analysis...master thesis 2014
- document
-
Melman, C.M. (author)Mobile developement is a relatively new and popular domain for applications. An increasing amount of web applications are releasing a mobile variant of their application, which requires sharing of data. Currently, the creation of a mobile version can be done in two ways: a specialized web UI for mobile devices, which lacks good abstractions for...master thesis 2014
- document
-
Simoes Dias Vieira, A.M. (author)Domain-specific Languages (DSLs) are languages specifically tailored for an application or expert domain. These can be implemented as compilers, which check the correctness of an input program and translates it to a target language. Manual testing of compilers is a time consuming and labor intensive task. This motivates the development of...master thesis 2013
- document
-
Lindeman, R.T. (author)Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This thesis shows how such a specification can be extended to describe a debugger for a language. To realize this, we introduce a meta...master thesis 2013
- document
-
Bruning, N. (author)Aspect-oriented programming allows developers to modularize cross-cutting concerns in software source code. Concerns are implemented as aspects, which can be re-used across projects. During compilation or at run-time, the cross-cutting aspects are "woven" into the base program code. After weaving, the aspect code is scattered across and tangled...master thesis 2013
- document
-
Gersen, C.M. (author)Object-Relational Mapping (ORM) frameworks can be used to fetch entities from a relational database. The entities that are referenced through properties are normally not fetched initially, instead they are fetched automatically by the ORM framework, when they are used by the application. This is called lazy-fetching and can result in many...master thesis 2013
- document
-
Van Chastelet, E. (author)The importance of search facilities on a website grows with the size of the content being served. User expectations for internal site search are greatly influenced by global web search engines, requiring developers of web applications to go beyond basic search functionality. In this thesis, a domain-specific language (DSL) for internal site...master thesis 2013
- document
-
Van der Tuin, M. (author), Reijm, A.B. (author), De Jong, T.K. (author), Smits, J. (author)WebLab is an online academic tool used to improve education by providing a framework for teachers to supply a higher quantity and quality of assignments to students. Currently this system is being used in a variety of courses including the Concepts of Programming Languages course taught to bachelor students at the Delft University of Technology....bachelor thesis 2013
- document
-
Van Rest, O.F. (author)Modeling languages such as Behavior Trees or QVT Relational provide both textual and graphical concrete syntaxes. Textual and graphical editors for such languages need to synchronize textual representations, graphical representations, and underlying models. During this synchronization, layout in textual and graphical representations needs to be...master thesis 2013
- document
-
Van Koppen, W. (author)Self-reconfigurable modular robots are mechatronic devices that have the capability to modify their own shape. They have a promising potential as a result of being able to solve a wider range of problems. However, programming self-reconfigurable robots is in general a difficult task. General-purpose languages like ANSI-C or Java provide only...master thesis 2013
- document
-
Bult, W. (author)As we work more and more while on the go, mobile collaborative applications will play an increasingly important role in our lives. We note that the conventional client/server model for these applications poses several shortcomings. The model is unintuitive and unnecessarily complex. Centralized servers further introduce cost, inflexibility, and...master thesis 2013
- document
-
Vogelij, R.G. (author)This thesis describes spoofax2ace, the tool to generate source code editors which can run in the browser. The features which are common in state of the art desktop-computer based source code editors are investigated after which the difficulties in getting these features running on the Web are discussed. We present, implement, and compare...master thesis 2013
- document
-
Senster, P.A.M. (author)As the web shifts towards mobile devices without support for Adobe Flash, developers need to use new technologies to bring the type of animated, interactive content they used to develop in Flash to those mobile devices. In this thesis, we present the design and implementation of a tool that eases this transition by automatically converting Flash...master thesis 2012
- document
-
Konat, G.D.P. (author)Static analyses and transformations are an important part of programming and domain specific languages. For example; integrated development environments analyze programs for semantic errors such as incorrect names or types to warn the programmer about these errors. Compilers translate high-level programs into programs of another language or...master thesis 2012
Pages
- 1
- 2