Zobrazeno 1 - 10
of 10
pro vyhledávání: '"scope graphs"'
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
https://doi.org/10.1145/3563303
Autor:
Tolmach, Andrew
This paper shares some memories of Eelco gathered over the past 25 years as a colleague and friend, and reflects on the nature of modern international collaborations.
OASIcs, Vol. 109, Eelco Visser Commemorative Symposium (EVCS 2023), pages 27:1
OASIcs, Vol. 109, Eelco Visser Commemorative Symposium (EVCS 2023), pages 27:1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8782854c8d61826b3a2b7c31694099f3
Autor:
Brouwer, Jonathan, Cockx, J.G.H., Zwaan, A.S., Lammel, Ralf, Mosses, Peter D., Steimann, Friedrich
Publikováno v:
Eelco Visser Commemorative Symposium, EVCS 2023
Static type systems can greatly enhance the quality of programs, but implementing a type checker that is both expressive and user-friendly is challenging and error-prone. The Statix meta-language (part of the Spoofax language workbench) aims to make
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e584d30e3b0dcdbd191965519ad63d14
http://resolver.tudelft.nl/uuid:cfe5ad16-3938-4ab5-b438-a8220a15f068
http://resolver.tudelft.nl/uuid:cfe5ad16-3938-4ab5-b438-a8220a15f068
We present stack graphs, an extension of Visser et al.’s scope graphs framework. Stack graphs power Precise Code Navigation at GitHub, allowing users to navigate name binding references both within and across repositories. Like scope graphs, stack
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::36c4311acc2b7692bdf3e9b9db7ba652
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the ACM on Programming Languages, 2(POPL)
A definitional interpreter defines the semantics of an object language in terms of the (well-known) semantics of a host language, enabling understanding and validation of the semantics through execution. Combining a definitional interpreter with a se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c449986e0011e9d40024c106b015bd66
http://resolver.tudelft.nl/uuid:4dc286fd-af6c-4d6b-a59b-bdf446550aa3
http://resolver.tudelft.nl/uuid:4dc286fd-af6c-4d6b-a59b-bdf446550aa3
Autor:
Poulsen, C.B., Neron, P.J.M., Tolmach, Andrew, Visser, Eelco, Krishnamurthi, Shriram, Lerner, Benjamin S.
Publikováno v:
30th European Conference on Object-Oriented Programming, ECOOP 2016, 56
Semantic specifications do not make a systematic connection between the names and scopes in the static structure of a program and memory layout, and access during its execution. In this paper we introduce a systematic approach to the alignment of nam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40e0d0e5e0201feaa4813a2462180419
http://resolver.tudelft.nl/uuid:8cfac577-b66d-402d-ad40-ff59c6f42291
http://resolver.tudelft.nl/uuid:8cfac577-b66d-402d-ad40-ff59c6f42291
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.