Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Hendrik Van Antwerpen"'
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
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
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
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
http://hdl.handle.net/2066/228333
Publikováno v:
PEPM
PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
PEPM '16
Report TUD-SERG-2015-009
PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
PEPM '16
Report TUD-SERG-2015-009
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 c
Publikováno v:
Multi-Agent Based Simulation XVI ISBN: 9783319314464
MABS
MABS
Pervasive information and communication technologies and large-scale complex systems, are strongly influencing today's networked society. Understanding the behaviour and impact of such distributed, often emergent systems on society is of vital import
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4210abb624827d53948eeb7cf8c3988b
https://doi.org/10.1007/978-3-319-31447-1_8
https://doi.org/10.1007/978-3-319-31447-1_8