( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From definitional interpreter to symbolic executor.

, , , и . META@SPLASH, стр. 11-20. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Stella Antwerpen

Benjamin Antwerpen

Geurt Hendrik van Kooten

Hendrik ˜van denœ Bussche

Markus Heinrich Antwerpen

 

Другие публикации лиц с тем же именем

Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)., , и . ECOOP, том 134 из LIPIcs, стр. 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Scope Graphs: The Story so Far., и . Eelco Visser Commemorative Symposium, том 109 из OASIcs, стр. 32:1-32:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Scopes as types., , , и . Proc. ACM Program. Lang., 2 (OOPSLA): 114:1-114:30 (2018)Dynamic Data-Driven Experiments in the Smart Grid Domain with a Multi-agent Platform., , , и . MABS, том 9568 из Lecture Notes in Computer Science, стр. 121-131. Springer, (2015)From definitional interpreter to symbolic executor., , , и . META@SPLASH, стр. 11-20. ACM, (2019)Stack Graphs: Name Resolution at Scale., и . Eelco Visser Commemorative Symposium, том 109 из OASIcs, стр. 8:1-8:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications., , , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 180:1-180:28 (2020)Towards language-parametric semantic editor services based on declarative type system specifications., , и . SPLASH (Companion Volume), стр. 19-20. ACM, (2019)Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers., и . ECOOP, том 194 из LIPIcs, стр. 1:1-1:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)