- document
-
Towards language-parametric semantic editor services based on declarative type system specificationsPelsmaeker, D.A.A. (author), van Antwerpen, H. (author), Visser, Eelco (author)Editor services assist programmers to more effectively write and comprehend code. Implementing editor services correctly is not trivial. This paper focuses on the specification of semantic editor services, those that use the semantic model of a program. The specification of refactorings is a common subject of study, but many other semantic...conference paper 2019
- document
-
Vergu, V.A. (author), Tolmach, Andrew (author), Visser, Eelco (author)DynSem is a domain-specific language for concise specification of the dynamic semantics of programming languages, aimed at rapid experimentation and evolution of language designs. To maintain a short definition-to-execution cycle, DynSem specifications are meta-interpreted. Meta-interpretation introduces runtime overhead that is difficult to...conference paper 2019
- document
-
Schrama, F.N.H. (author), Beunder, Elisabeth M. (author), Visser, H. (author), Boom, R. (author), Sietsma, J. (author), Yang, Y. (author)During the magnesium-lime co-injection process for hot metal desulphurisation, graphite can precipitate as a result of carbon oversaturation. The formed graphite is known to form a layer between the slag and the hot metal. This potentially blocks the sulphides, that are formed during the desulphurisation process, to reach the slag phase thus...conference paper 2019
- document
-
Ho-Huu, V. (author), Hartjes, S. (author), Visser, H.G. (author), Curran, R. (author)At many airports, ground track segments may be shared by different departure routes, and the population living underneath these segments is exposed to all aircraft movements which are sent to these routes. This may cause negative community reaction to authorities and policymakers, leading to objections against the expansion of airport and...conference paper 2019
- document
-
Huijgens, H.K.M. (author), Greuter, Eric (author), Brons, Jerry (author), Doorn, Evert A. van (author), Papadopoulos, Ioannis (author), Martinez, Francisco Morales (author), Aniche, Maurício (author), Visser, O.W. (author), van Deursen, A. (author)The development of Cloud Infra-Services has shifted over the past decade in the direction of a software code development process, also known as infrastructure as code (IaC). Contemporary continuous delivery settings in industry require fast feedback. As a consequence, companies need insight in time spent, especially in the development of such...conference paper 2019
- document
-
van den Aarssen, M.S.T. (author), Visser, T. (author), de Visser, C.C. (author)High performance control allocation methods for the Innovative Control Effectors (ICE) aircraft require accurate onboard aerodynamic models, with preferably first order continuity. Simplotope B-Splines, an extension on Simplex B-Splines, have a high approximation power by using local cost functions. However, enforcing global continuity produces...conference paper 2019
- document
-
Licher, Yvonne (author), Visser, Jan Simon (author), Van, G.Y. (author), Diehl, J.C. (author)In low- and middle-income countries (LMIC), diagnostics are not always available in remote areas. Hospitals and healthcare centres are often too far from the community, and waiting times are up to a few hours even for relatively simple procedures. Moreover, travelling to the healthcare centre and taking the diagnostic test is frequently...conference paper 2019
- document
-
Van der Bent, Eduard (author), Hage, Jurriaan (author), Visser, Joost (author), Gousios, G. (author)Puppet is a declarative language for configuration management that has rapidly gained popularity in recent years. Numerous organizations now rely on Puppet code for deploying their software systems onto cloud infrastructures. In this paper we provide a definition of code quality for Puppet code and an automated technique for measuring and rating...conference paper 2018
- document
-
Ho-Huu, V. (author), Hartjes, S. (author), Geijselaers, L.H. (author), Visser, H.G. (author), Curran, R. (author)Recently, a multi-objective evolutionary algorithm based on decomposition (MOEA/D) has emerged as a potential method for solving multi-objective optimization problems (MOPs) and attracted much attention from researchers. In MOEA/D, the MOPs are decomposed into a number of scalar optimization sub-problems, and these sub-problems are optimized...conference paper 2018
- document
-
Huijgens, H.K.M. (author), Spadini, D. (author), Stevens, Dick (author), Visser, Niels (author), van Deursen, A. (author)Background: During the period of one year, ING developed an approach for software analytics within an environment of a large number of software engineering teams working in a Continuous Delivery as a Service setting. Goal: Our objective is to examine what factors helped and hindered the implementation of software analytics in such an environment...conference paper 2018
- document
-
ten Veen, Nick (author), Harkes, D.C. (author), Visser, Eelco (author)Modern web applications are interactive. Reactive programming languages and libraries are the state-of-the-art approach for declaratively specifying these interactive applications. However, programs written with these approaches contain error-prone boilerplate code for efficiency reasons. In this paper we present PixieDust, a declarative user...conference paper 2018
- document
-
Harkes, D.C. (author), van Chastelet, E. (author), Visser, Eelco (author)To provide empirical evidence to what extent migration of business logic to an incremental computing language (ICL) is useful, we report on a case study on a learning management system. Our contribution is to analyze a real-life project, how migrating business logic to an ICL affects information system validatability, performance, and...conference paper 2018
- document
-
de Souza Amorim, L.E. (author), Erdweg, S.T. (author), Steindorfer, M.J. (author), Visser, Eelco (author)In layout-sensitive languages, the indentation of an expression or statement can influence how a program is parsed. While some of these languages (e.g., Haskell and Python) have been widely adopted, there is little support for software language engineers in building tools for layout-sensitive languages. As a result, parsers, pretty-printers,...conference paper 2018
- document
-
Konat, G.D.P. (author), Erdweg, S.T. (author), Visser, Eelco (author)Incremental build systems are essential for fast, reproducible software builds. Incremental build systems enable short feedback cycles when they capture dependencies precisely and selectively execute build tasks efficiently. A much overlooked feature of build systems is the expressiveness of the scripting language, which directly influences the...conference paper 2018
- document
-
Denkers, J. (author), van Gool, Louis (author), Visser, Eelco (author)We present a tool architecture that supports migrating custom domain-specific language (DSL) implementations to a language workbench. We demonstrate an implementation of this architecture for models in the domains of defining component interfaces (IDL) and modeling system behavior (OIL) which are developed and used at a digital printer...conference paper 2018
- document
-
Jiang, Bo (author), Ghaderi, M. (author), Bossche, A. (author), Visser, Jaco H. (author), Wolffenbuttel, R.F. (author)Thermal impedance spectroscopy has been investigated as a non-destructive technique to determine the composition of ternary mixtures of biofuels. The principle of the thermal conductivity detector has been extended for measuring both the thermal conductivity and the thermal capacity of biofuel in the range between 1 to 100 Hz, using an AC...conference paper 2017
- document
-
Middelburg, L.M. (author), Ghaderi, M. (author), Bossche, A. (author), Bastemeijer, J. (author), de Graaf, G. (author), Wolffenbuttel, R.F. (author), Soltis, Rick (author), Visser, Jaco (author)A capacitive probe is generally used in a flex-fuel engine for measuring the ethanol content in biofuel. However, the water content in biofuel of high ethanol content cannot be disregarded or considered constant and the full composition measurement of ethanol, gasoline and water in biofuel is required. Electrical impedance spectroscopy with a...conference paper 2017
- document
-
Harkes, D.C. (author), Visser, Eelco (author)Derived values are values calculated from base values. They can be expressed with views in relational databases, or with expressions in incremental or reactive programming. However, relational views do not provide multiplicity bounds, and incremental and reactive programming require significant boilerplate code in order to encode bidirectional...conference paper 2017
- document
-
Herrema, Floris Friso (author), Treve, V (author), Desart, B (author), Curran, R. (author), Visser, H.G. (author)Accidents on the runway triggered the development and implementation of mitigation strategies. Therefore, the airline industry is moving toward proactive risk management, which aims to identify and predict risk percursors and to mitigate risks before accidents occur. For certain predictions Machine Learning techniques can be used. Although many...conference paper 2017
- document
-
Vergu, V.A. (author), Haisma, M.A. (author), Visser, Eelco (author)Grace is a dynamic object oriented programming language<br/>designed to aid programming education. We present a formal<br/>model of and give an operational semantics for its object<br/>model and name resolution algorithm. Our main contributions <br/>are a systematic model of Grace’s name resolution using<br/>scope graphs, relating linguistic...conference paper 2017