- 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
- 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
-
Van Der Lippe, Tim (author), Smith, Thomas (author), Pelsmaeker, Daniël (author), Visser, Eelco (author)In this paper, we report on our experience in teaching a course on concepts of programming languages at TU Delft based on Krishnamurthi's PAPL book with the definitional interpreter approach using Scala as meta-language and using the WebLab learning management system. In particular, we discuss our experience with encoding of definitional...conference paper 2016
- document
-
de Souza Amorim, L.E. (author), Erdweg, S.T. (author), Wachsmuth, G.H. (author), Visser, Eelco (author)Principled syntactic code completion enables developers to change source code by inserting code templates, thus increasing developer efficiency and supporting language exploration. However, existing code completion systems are ad-hoc and neither complete nor sound. They are not complete and only provide few code templates for selected...conference paper 2016
- document
-
Poulsen, C.B. (author), Neron, P.J.M. (author), Tolmach, Andrew (author), Visser, Eelco (author)Semantic specifications do not make a systematic connection between the names and scopes in the static structure of a program and memory layout, and access during its execution. In this paper we introduce a systematic approach to the alignment of names in static semantics and memory in dynamic semantics, building on the scope graph framework...conference paper 2016
- document
-
Harkes, D.C. (author), Groenewegen, D.M. (author), Visser, Eelco (author)Derived values are values calculated from base values. They can be expressed in object-oriented languages by means of getters calculating the derived value, and in relational or logic databases by means of (materialized) views. However, switching to a different calculation strategy (for example caching) in object-oriented programming requires...conference paper 2016
- document
-
Prasanth, V. (author), Scheele, Natalia (author), Visser, Erwin (author), Shekhar, A. (author), Chandra Mouli, G.R. (author), Bauer, P. (author), Silvester, S. (author)This paper deals with a green energy highway in the Netherlands. Here, the development of electric mobility and self-driving cars is introduced. The ideas of wireless power integration with green energy technologies - solar and wind is considered. In case of wind energy, conventional turbines and bladeless vortex are considered as options....conference paper 2016
- document
-
Konat, G.D.P. (author), Erdweg, S.T. (author), Visser, Eelco (author)It is common practice to bootstrap compilers of programming languages. By using the compiled language to implement the compiler, compiler developers can code in their own high-level language and gain a large-scale test case. In this paper, we investigate bootstrapping of compiler-compilers as they occur in language workbenches. Language...conference paper 2016
- document
-
Herrema, Floris Friso (author), Treve, V (author), Curran, R. (author), Visser, H.G. (author)currently, at many airports, the runway throughput is the limiting factor for the overall capacity. Among the most important constraining parameters is the separation minima expressed in distance. On the top of these minima, the difference of the leader and follower aircraft speed profiles imposes to consider buffer to cope with compression...conference paper 2016
- document
-
Visser, H.G. (author), Santos, Bruno F. (author), Verhagen, C.M.A. (author)This paper describes the development of an optimization-based cooperative planning system for the efficient routing and scheduling of flight formations. This study considers the use of formation flight as a means to reduce the overall fuel consumption of civil aviation in long-haul operations. It elaborates on the operational implementation of...conference paper 2016
- document
-
Verbeek, R.J.D. (author), Visser, H.G. (author)The Single European Sky is being introduced to improve the efficiency of flight and traffic operations by reforming the air traffic management system. Despite all of these technical advances, airlines choose detours to avoid high route charges. This mechanism is intensified when fuel prices are low. The single unit rate method has been proposed...conference paper 2016
- document
-
Visser, T. (author), de Visser, C.C. (author), van Kampen, E. (author)In recent research efforts the multivariate simplex spline has shown great promise in system identification applications. It has high approximation power, while its linearity in the parameters allows for computationally efficient estimation of the coefficients. In this paper the multivariate simplotope spline is derived from this spline, and...conference paper 2016
- document
-
Onstein, A.T.C. (author), Visser, J.G.S.N. (author), Tavasszy, Lorant (author), van Ham-Schoemaker, R.G. (author)The logistics industry is an important sector for the Dutch economy. Distribution centres (DCs) are important to perform logistics activities. In 2015 the demand for logistics real estate has been particularly high compared to previous years. To facilitate the logistics sector and to develop sustainable spatial policies – that for example reduce...conference paper 2016
- document
-
van Antwerpen, H. (author), Neron, P.J.M. (author), Tolmach, Andrew (author), Visser, Eelco (author), Wachsmuth, G.H. (author)In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...conference paper 2016
- document
-
Peeters, P. (author), Heredia Gomez, M. (author), van Damme, M. (author), Visser, P.J. (author)Within the frame work of the realisation of the ‘Sigmaplan’ for the river Schelde in Flanders (Belgium), a large-scale dike breaching experiment following overflow was held at Lillo (Antwerp) in 2012. The outcomes of the breach test serve to unveil the impact of a chosen breach growth model, to set application limits, to come up with guidelines...conference paper 2016
- document
-
Huisman, M. (author), Bos, Herbert (author), Brinkkemper, Sjaak (author), van Deursen, A. (author), Groote, Jan Friso (author), Lago, Patricia (author), van de Pol, Jaco (author), Visser, Eelco (author)Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization...conference paper 2016
- document
-
Visser, T. (author), De Visser, C.C. (author), Van Kampen, E.J. (author)A novel method for aircraft system identification is presented that is based on a new multivariate spline type; the multivariate multiplex B-spline. The multivariate multiplex B-spline is a generalization of the recently introduced tensor-simplex B-spline. Multivariate multiplex splines obtain similar or better approximation accuracy using less...conference paper 2015
- document
-
Van Chastelet, E. (author), Visser, E. (author), Anslow, C. (author)Federated conferences such as SPLASH are complex orga- nizations composed of many parts (co-located conferences, symposia, and workshops), and are put together by many different people and committees. Developing the website for such a conference requires a considerable effort, and is often reinvented for each edition of a conference using...conference paper 2015
- document
-
Vergu, V.A. (author), Neron, P.J.M. (author), Visser, Eelco (author)The formal semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of programming...conference paper 2015
- document
-
van Damme, M. (author), Visser, P.J. (author)Deriving the bed shear stresses from hydrodynamic models in breach models is challenging due to the continuous changing hydraulic head over the breach in combination with horizontal and vertical flow contractions, and the continuous rapidly changing breach geometry. Three stages can be distinguished in breach flows. Stage 1 initiates when the...conference paper 2015