- document
-
Smits, J. (author)Computers execute software to do the tasks we expect from them. This software is written by human beings, we call this programming. The most common way to program is by writing text in a programming language. A programming language is very structured so we can be precise, but ultimately these languages are still for humans to read and write. In...doctoral thesis 2023
- document
-
Smits, J. (author), Hartman, Toine (author), Cockx, J.G.H. (author)Pattern matching is a high-level notation for programs to analyse the shape of data, and can be optimised to efficient low-level instructions. The Stratego language uses <i>first-class pattern matching</i>, a powerful form of pattern matching that traditional optimisation techniques do not apply to directly.<br/>In this paper, we investigate how...conference paper 2022
- document
-
Smits, J. (author), Konat, G.D.P. (author), Visser, Eelco (author)Context Compilation time is an important factor in the adaptability of a software project. Fast recompilation enables cheap experimentation with changes to a project, as those changes can be tested quickly. Separate and incremental compilation has been a topic of interest for a long time to facilitate fast recompilation. Inquiry Despite the...journal article 2020
- document
-
Smits, J. (author), Visser, Eelco (author)The Stratego language supports program transformation by means of term rewriting with programmable rewriting strategies. Stratego's traversal primitives support concise definition of generic tree traversals. Stratego is a dynamically typed language because its features cannot be captured fully by a static type system. While dynamic typing makes...conference paper 2020
- document
-
Smits, J. (author), Wachsmuth, G.H. (author), Visser, Eelco (author)Data-flow analysis is the static analysis of programs to estimate their approximate run-time behavior or approximate intermediate run-time values. It is an integral part of modern language specifications and compilers. In the specification of static semantics of programming languages, the concept of data-flow allows the description of well...journal article 2020
- document
- Middeldorp, P. (author), Staps, S. (author), Rijnaarts, H. (author), van Dokkum, H. (author), Smits, J. (author), Valstar, J. (author), de Rooij, N. (author), Roelofsen, F. (author), v.d. Hoek, E. (author) report 2003