Zobrazeno 1 - 10 of 128 pro vyhledávání: '"Eelco Visser"'
1
Incremental type-checking for free: using scope graphs to derive incremental type-checkers
Autor: Hendrik Van Antwerpen, Eelco Visser, Aron Zwaan
Publikováno v: Proceedings of the ACM on Programming Languages, 6(OOPSLA2)
Fast analysis response times in IDEs are essential for a good editor experience. Incremental type-checking can provide that in a scalable fashion. However, existing techniques are not reusable between languages. Moreover, mutual and dynamic dependenc
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5676875b7d4b8cd26721786ddf674ec
https://doi.org/10.1145/3563303
Zobrazit plný text záznamu
2
Intrinsically typed compilation with nameless labels
Autor: Arjen Rouvoet, Eelco Visser, Robbert Krebbers
Publikováno v: Proceedings of the ACM on Programming Languages, 5, 1-28
Proceedings of the ACM on Programming Languages, 5(POPL)
Proceedings of the ACM on Programming Languages, 5, POPL, pp. 1-28
To avoid compilation errors it is desirable to verify that a compiler is type correct —i.e., given well-typed source code, it always outputs well-typed target code. This can be done intrinsically by implementing it as a function in a dependently ty
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99a73c7b5a06b9b2e448aeca3b4bbdf0
https://doi.org/10.1145/3434303
Zobrazit plný text záznamu
3
Language-parametric static semantic code completion
Autor: Hendrik Van Antwerpen, Casper Bach Poulsen, Eelco Visser, Daniel Pelsmaeker
Publikováno v: Proceedings of the ACM on Programming Languages, 6(OOPSLA1)
Code completion is an editor service in IDEs that proposes code fragments for the user to insert at the caret position in their code. Code completion should be sound and complete. It should be sound, such that it only proposes fragments that do not v
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::858f94d0257015756d249b10ba8dcf8e
http://resolver.tudelft.nl/uuid:a5b056bb-c633-4195-acac-b9a35e2c5387
Zobrazit plný text záznamu
4
Intrinsically-typed definitional interpreters à la carte
Autor: Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter Mosses
Publikováno v: Proceedings of the ACM on Programming Languages, 6(OOPSLA2)
Specifying and mechanically verifying type safe programming languages requires significant effort. This effort can in theory be reduced by defining and reusing pre-verified, modular components. In practice, however, existing approaches to modular mec
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::063349af40b918e2849b82f9ccbe3bac
http://resolver.tudelft.nl/uuid:bfb4aaec-3a78-4a58-a788-cfd7e23991ba
Zobrazit plný text záznamu
5
Safe-by-Design in Engineering: An Overview and Comparative Analysis of Engineering Disciplines
Autor: Ruud Balkenende, Ruud van Ommen, Behnam Taebi, Bart Walhout, Ibo van de Poel, Pieter van Gelder, Tiny van der Werff, Dick Jung, Frank Hollmann, Wolter Pieters, Robbert Krebbers, Eelco Visser, Jos de Lange, Karel Terwel, Zoë Robaey, Erik-Jan van Kampen, Nima Khakzad, Lotte Asveld, Pim Klaassen
Publikováno v: International Journal of Environmental Research and Public Health 18 (2021) 12
van Gelder, P, Klaassen, P, Taebi, B, Walhout, B, van Ommen, R, van de Poel, I, Robaey, Z, Asveld, L, Balkenende, R, Hollmann, F, van Kampen, E J, Khakzad, N, Krebbers, R, de Lange, J, Pieters, W, Terwel, K, Visser, E, van der Werff, T & Jung, D 2021, ' Safe-by-design in engineering : An overview and comparative analysis of engineering disciplines ', International Journal of Environmental Research and Public Health, vol. 18, no. 12, 6329 . https://doi.org/10.3390/ijerph18126329
International Journal of Environmental Research and Public Health
International Journal of Environmental Research and Public Health; Volume 18; Issue 12; Pages: 6329
International Journal of Environmental Research and Public Health, 18
International Journal of Environmental Research and Public Health, 18, 12
International Journal of Environmental Research and Public Health, 18(12):6329. Multidisciplinary Digital Publishing Institute (MDPI)
International Journal of Environmental Research and Public Health, Vol 18, Iss 6329, p 6329 (2021)
International Journal of Environmental Research and Public Health, 18(12)
Contains fulltext : 237091.pdf (Publisher’s version ) (Open Access) In this paper, we provide an overview of how Safe-by-Design is conceived and applied in practice in a large number of engineering disciplines. We discuss the differences, commonali
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3664c85c6a70ad175ea523be276d60df
http://hdl.handle.net/10029/625130
Zobrazit plný text záznamu
7
Gradually typing strategies
Autor: Eelco Visser, Jeff Smits
Publikováno v: SLE
SLE 2020: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering
The Stratego language supports program transformation by means of term rewriting with programmable rewriting strategies. Stratego's traversal primitives support concise definition of generic tree traversals. Stratego is a dynamically typed language b
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1bcbe8b64c5fbee3fd1901b1aeb2d12
https://doi.org/10.1145/3426425.3426928
Zobrazit plný text záznamu
8
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications
Autor: Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser, Robbert Krebbers
Publikováno v: Proceedings of the ACM on Programming Languages, 4, 1-28
Proceedings of the ACM on Programming Languages, 4(OOPSLA)
Proceedings of the ACM on Programming Languages, 4, OOPSLA, pp. 1-28
There is a large gap between the specification of type systems and the implementation of their type checkers, which impedes reasoning about the soundness of the type checker with respect to the specification. A vision to close this gap is to automati
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c78da2333093d35e4690d0bf5d305431
http://hdl.handle.net/2066/228333
Zobrazit plný text záznamu
9
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Autor: Eelco Visser, Casper Bach Poulsen, Arjen Rouvoet, Robbert Krebbers
Publikováno v: CPP
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 languag
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee97b6c0b968560057f12ea7dce29103
http://resolver.tudelft.nl/uuid:913a5c7f-d521-445e-82af-a7771849f964
Zobrazit plný text záznamu
10
Towards Zero-Overhead Disambiguation of Deep Priority Conflicts
Autor: Luís Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser
Publikováno v: Art, Science, and Engineering of Programming, 3(3)
**Context** Context-free grammars are widely used for language prototyping and implementation. They allow formalizing the syntax of domain-specific or general-purpose programming languages concisely and declaratively. However, the natural and concise
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3546e228343f0651fd6d7847f4ef7037
http://resolver.tudelft.nl/uuid:1bc61188-f80b-48a9-8984-34cd947131e4
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje