Searched for: +
(1 - 20 of 517)

Pages

document
Rouvoet, A.J. (author), Poulsen, C.B. (author), Krebbers, R.J. (author), Visser, Eelco (author)
An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languages often results in definitions that are cluttered with manual proof work. For linearly-typed...
working paper 2020
document
van Veldhuizen, B.N. (author), van Biert, L. (author), Aravind, P.V. (author), Visser, K. (author)
The marine industry must reduce emissions to comply with recent and future regulations. Solid oxide fuel cells (SOFCs) are seen as a promising option for efficient power generation on ships with reduced emissions. However, it is unclear how the devices can be integrated and how this affects the operation of the ship economically and...
review 2023
document
Kosari, A. (author), Zandbergen, H.W. (author), Tichelaar, F.D. (author), Visser, P. (author), Terryn, H.A. (author), Mol, J.M.C. (author)
Identifying corrosion initiation events in metals and alloys demands techniques that can provide temporal and spatial resolution simultaneously. Transmission electron microscopy (TEM) enables one to obtain microstructural and chemical descriptors of materials at atomic/nanoscopic level and has been used in corrosion studies of many metal...
review 2020
document
Geertsma, R.D. (author), Negenborn, R.R. (author), Visser, K. (author), Hopman, J.J. (author)
The recent trend to design more efficient and versatile ships has increased the variety in hybrid propulsion and power supply architectures. In order to improve performance with these architectures, intelligent control strategies are required, while mostly conventional control strategies are applied currently. First, this paper classifies...
review 2017
document
Gurvits, L. (author), Cimò, Giuseppe (author), Dirkx, D. (author), Pallichadath, V. (author), Altobelli, Nicolas (author), Bocanegra Bahamon, T.M. (author), Cazaux, S.M. (author), Vermeersen, L.L.A. (author), Visser, P.N.A.M. (author)
Planetary Radio Interferometry and Doppler Experiment (PRIDE) is a multi-purpose experimental technique aimed at enhancing the science return of planetary missions. The technique exploits the science payload and spacecraft service systems without requiring a dedicated onboard instrumentation or imposing on the existing instrumentation any...
review 2023
document
Nedeljković, Marija (author), Visser, Jeanette (author), Šavija, B. (author), Valcke, Siska (author), Schlangen, E. (author)
This paper discusses the state-of-the-art of the fine recycled concrete aggregates (fRCA), focusing on their physical and chemical properties, engineering properties and durability of concretes with fRCA. Based on the systematic review of the published literature, it is impossible to deduce without any further research the guidelines and...
review 2021
document
Bouwers, E. (author), Visser, J. (author), Van Deursen, A. (author)
Accepted for publication in the Proceedings of the International Conference on Software Maintenance (ICSM), 2009, IEEE Computer Society. Software architecture evaluation methods aim at identifying potential maintainability problems for a given architecture. Several of these methods exist, which typically prescribe the structure of the evaluation...
report 2009
document
Rakels, H. (author), Visser, M. (author)
Document(en) uit de collectie Chemische Procestechnologie.
report 1987
document
Visser, W. (author)
Document uit de collectie Chemische Procestechnologie
report 1947
document
Raemaekers, S. (author), Van Deursen, A. (author), Visser, J. (author)
For API users, backward compatibility of new releases is important, as it permits safe and fast upgrading when the new release becomes available. To signal safe upgrading, version naming schemes such as semantic versioning provide strict rules on major (breaking changes permitted) versus minor and patch (no breaking changes permitted) releases....
report 2014
document
Van Deursen, A. (author), Visser, E. (author), Warmer, J. (author)
Software systems need to evolve, and systems built using model-driven approaches are no exception. What complicates model-driven engineering is that it requires multiple dimensions of evolution. In regular evolution, the modeling language is used to make the changes. In meta-model evolution, changes are required to the modeling notation. In...
report 2007
document
Bouwers, E. (author), Lilienthal, C. (author), Visser, J. (author), Van Deursen, A. (author)
Evaluating the complexity of the architecture of a softwaresystem is a difficult task. Many aspects have to be considered to come to a balanced assessment. Several architecture evaluation methods have been proposed, but very few define a quality model to be used during the evaluation process. In addition, those methods that do introduce a...
report 2010
document
Bravenboer, M. (author), Kalleberg, K.T. (author), Vermaas, R. (author), Visser, E. (author)
Preprint of paper published in: Science of Computer Programming (Elsevier), 72 (1-2), 2008; doi:10.1016/j.scico.2007.11.003 Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules...
report 2008
document
Groenewegen, D.M. (author), Hemel, Z. (author), Kats, L.C.L. (author), Visser, E. (author)
Preprint of paper published in: OOPSLA 2008 - ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 19-23 October 2008; doi:10.1145/1449814.1449858 WebDSL is a domain-specific language for the implementation of dynamic web applications with a rich data model. It consists of a core language with constructs...
report 2008
document
Zhao, G. (author), Visser, P.J. (author), Peeters, P. (author)
Embankment breaching is a composite process coupled by hydraulic processes and sediment transport processes. Erosion is the link in the interaction between breach flow and embankment material. Surface erosion starts in the initial breach phase and triggers the initial damage of the embankment. As the surface erosion develops completely, the...
report 2014
document
Bravenboer, M. (author), Dolstra, E. (author), Visser, E. (author)
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done using unhygienic string manipulation, the concatenation of constants and client-supplied strings. A client can then supply specially crafted input that causes the...
report 2007
document
Kats, L. (author), Kalleberg, K.T. (author), Visser, E. (author)
Preprint of paper published in: LDTA 2008: 8th Workshop on Language Descriptions, Tools and Applications, 5 April 2008 Integrated Development Environments (IDEs) increase productivity by providing a rich user interface and rapid feedback for a specific language. Creating an editor for a specific language is not a trivial undertaking, and is a...
report 2008
document
Visser, H.G. (author)
report 1994
document
Bergman, E. (author), Coremans, P. (author), Favier, M. (author), Grootes, B.J. (author), Hooijkaas, M. (author), Huisman, J.R. (author), Jansens, P. (author), Schuring, R.J. (author), Touw, B. (author), Venderbosch, R. (author), Visser, L. (author), Waalewijn, E. (author)
Document uit de collectie Chemische Procestechnologie
report 1988
document
Visser, E. (author)
Preprint submitted to "Science of Computer Programming", Elsevier, http://dx.doi.org/10.1016/j.scico.2013.12.001 In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that systematic application, we need to capture our...
report 2013
Searched for: +
(1 - 20 of 517)

Pages