Searched for: +
(1 - 20 of 171)

Pages

document
Koning Gans, H.J. (author), Visser, K. (author)
report 2016
document
de Koning Gans, H.J. (author), Visser, K. (author)
report 2016
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
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
Visser, T.H.A. (author)
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
Visser, W.P.J. (author), Head, A.J. (author)
This report describes the work conducted by TUD for WP 4.2.7 of the ESPOSA project for the development of Gas Path Analysis (GPA) based Engine Health Monitoring (EHM) concepts for the BE1 and BE2 engine designs. Models developed with the Gas turbine Simulation Program GSP have been used for the development and for the simulation of deteriorated...
report 2014
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
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
Raemaekers, S. (author), Nane, G.F. (author), Van Deursen, A. (author), Visser, J. (author)
Preprint of a paper presented at: MSR 2013, The 10th Working Conference on Mining Software Repositories, May 18–19, 2013, San Francisco, California, USA.
report 2013
document
Visser, W.P.J. (author), Head, A.J. (author)
report describes the work conducted by TUD for WP 1.3.3 of the ESPOSA project for the development of the BE1 engine simulation model in NLR’s Gas turbine Simulation Program, GSP. Results include simulation results, validation and the GSP model project files. The model is based on simulated data from PBS Velká Bíteš, Czech Republic, (PBS). The...
report 2013
document
Kats, L.C.L. (author), Vogelij, R.G. (author), Kalleberg, K.T. (author), Visser, E. (author)
Preprint of paper published in: Onward! 2012 - Proceedings of the 11th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, 19-26 October 2012; 10.1145/2384592.2384603 Software is rapidly moving from the desktop to theWeb. The Web provides a generic user interface that allows ubiquitous access, instant...
report 2012
Searched for: +
(1 - 20 of 171)

Pages