Searched for: faculty%3A%22Electrical%255C%252BEngineering%252C%255C%252BMathematics%255C%252Band%255C%252BComputer%255C%252BScience%22
(1 - 20 of 96)

Pages

List view
Grid view
document
Visser, P.M. (author), Mol, M.A. (author)
Context. A double planet system or planet binary undergoes eclipses that modify the reflective light curve. In the time domain, the eclipse events are fast and weak. This would make their signal difficult to find and recognize in the phase light curve, even for small inclinations when eclipses happen frequently. However, due to the quasiperiodic...
journal article 2020
document
Timbergen, Milea J.M. (author), Starmans, Martijn P.A. (author), Padmos, Guillaume A. (author), Grünhagen, Dirk J. (author), van Leenders, Geert J.L.H. (author), Hanff, D. F. (author), Niessen, W.J. (author), Klein, S. (author), Visser, J.J. (author)
Purpose: Diagnosing desmoid-type fibromatosis (DTF) requires an invasive tissue biopsy with β-catenin staining and CTNNB1 mutational analysis, and is challenging due to its rarity. The aim of this study was to evaluate radiomics for distinguishing DTF from soft tissue sarcomas (STS), and in DTF, for predicting the CTNNB1 mutation types....
journal article 2020
document
Pelsmaeker, D.A.A. (author), van Antwerpen, H. (author), Visser, Eelco (author)
New programming languages often lack good IDE support, as developing advanced semantic editor services takes additional effort. In previous work we discussed the operational requirements of a constraint solver that leverages the declarative type system specification of a language to provide language-parametric semantic editor services. In...
conference paper 2019
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
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (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...
report 2015
document
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (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...
report 2015
document
Vergu, V. (author), Neron, P. (author), Visser, E. (author)
The formal definition the 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...
report 2015
document
Van Antwerpen, H. (author), Neron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
We extend and combine two existing declarative formalisms, the scope graphs of Neron et al. and type constraint systems, to build a language-independent theory that can describe both name and type resolution for realistic languages with complex scope and typing rules. Unlike conventional static semantics presentations, our approach maintains a...
report 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
Neron, P.J.M. (author), Tolmach, A.P. (author), Visser, E. (author), Wachsmuth, G. (author)
We describe a language-independent theory for name binding and resolution, suitable for programming languages with complex scoping rules including both lexical scoping and modules. We formulate name resolution as a two stage problem. First a language-independent scope graph is constructed using language-specific rules from an abstract syntax...
report 2015
document
Harkes, D.C. (author), Visser, E. (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...
report 2014
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
Athanasiou, D. (author), Nugroho, A. (author), Visser, J. (author), Zaidman, A. (author)
Automated testing is a basic principle of agile development. Its benefits include early defect detection, defect cause localization and removal of fear to apply changes to the code. Therefore, maintaining high quality test code is essential. This study introduces a model that assesses test code quality by combining source code metrics that...
report 2014
document
Bouwers, E. (author), Visser, J. (author), Van Deursen, A. (author)
In the past two decades both the industry and the research community have proposed hundreds of metrics to track software projects, evaluate quality or estimate effort. Unfortunately, it is not always clear which metric works best in a particular context. Even worse, for some metrics there is little evidence whether the metric measures the...
report 2014
document
Van Rest, O. (author), Wachsmuth, G.H. (author), Steel, J. (author), Süss, J.G. (author), Visser, E. (author)
This paper is a pre-print of: Oskar van Rest, Guido Wachsmuth, Jim Steel, Jörn Guy Süß, Eelco Visser. Robust Real-Time Synchronization between Textual and Graphical Editors. In Keith Duddy, Gerti Kappel, editors, Theory and Practice of Model Transformations, Sixth International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013....
lecture notes 2013
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
document
Luijten, B. (author), Visser, J. (author), Zaidman, A. (author)
We mined the issue database of GNOME to assess how issues are handled. How many issues are submitted and resolved? Does the backlog grow or decrease? How fast are issues resolved? Does issue resolution speed increase or decrease over time? In which subproject are issues handled most efficiently? To answer such questions, we apply several...
report 2013
document
De Jonge, M. (author), Visser, E. (author)
Spoofax is a language workbench for efficient development of textual domain-specific languages together with state-of-the-art IDE support. Spoofax integrates language and IDE development into a single environment, using concise, declarative specifications for languages and IDE services. We are extending Spoofax with a framework for the...
report 2013
document
Pang, X. (author), Fischer, D.G. (author), Visser, T.D. (author)
We study the Gouy phase of a scalar wavefield that is focused by a lens suffering from primary spherical aberration. It is found that the Gouy phase has different behaviors at the two sides of the intensity maximum. This results in a systematic increase of the successive wavefront spacings around the diffraction focus. Since all lenses have some...
journal article 2013
document
Wachsmuth, G.H. (author), Konat, G.D.P. (author), Vergu, V.A. (author), Groenewegen, D.M. (author), Visser, E. (author)
This paper is a pre-print of: Guido H. Wachsmuth, Gabriel D.P. Konat, Vlad A. Vergu, Danny M. Groenewegen, Eelco Visser. A Language Independent Task Engine for Incremental Name and Type Analysis. In: Martin Erwig, Richard F. Paige, Eric Van Wyk, editors, Software Language Engineering, Sixth International Conference, SLE 2013, Indianapolis, USA,...
lecture notes 2013
Searched for: faculty%3A%22Electrical%255C%252BEngineering%252C%255C%252BMathematics%255C%252Band%255C%252BComputer%255C%252BScience%22
(1 - 20 of 96)

Pages

List view
Grid view