Editing support for software languages: implementation practices in language server protocols

D Barros, S Peldszus, WKG Assunção… - Proceedings of the 25th …, 2022 - dl.acm.org
Effectively using software languages, be it programming or domain-specific languages,
requires effective editing support. Modern IDEs, modeling tools, and code editors typically …

Example-based live programming for everyone: building language-agnostic tools for live programming with LSP and GraalVM

F Niephaus, P Rein, J Edding, J Hering… - Proceedings of the …, 2020 - dl.acm.org
Our community has explored various approaches to improve the programming experience.
Although many of them, such as Example-Based Live Programming (ELP), have shown to …

GraalSqueak: toward a smalltalk-based tooling platform for polyglot programming

F Niephaus, T Felgentreff, R Hirschfeld - Proceedings of the 16th acm …, 2019 - dl.acm.org
Polyglot programming provides software developers with a broader choice in terms of
software libraries and frameworks available for building applications. Previous research and …

Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages

S Marr, H Burchell, F Niephaus - Proceedings of the 18th ACM SIGPLAN …, 2022 - dl.acm.org
With the wide adoption of the language server protocol, the desire to have IDE-style tooling
even for niche and research languages has exploded. The Truffle language framework …

Exploratory tool-building platforms for polyglot virtual machines

F Niephaus - 2022 - publishup.uni-potsdam.de
Polyglot programming allows developers to use multiple programming languages within the
same software project. While it is common to use more than one language in certain …

[PDF][PDF] JastAdd Bridge: Interfacing reference attribute grammars with editor tooling

J Hardt, D Hemberg - 2024 - fileadmin.cs.lth.se
Nowadays, programmers expect rich editor support when writing code, such as type hints,
code completions, and warnings. While this is present in mainstream languages and editors …

[PDF][PDF] JUST-IN-TIME COMPILATION OF THE DEPENDENTLY-TYPED LAMBDA CALCULUS

BJ ZÁRYBNICKÝ - theses.cz
A number of programming languages have managed to greatly improve their performance
by replacing their custom runtime system with general platforms that use just-in-time opti …

[PDF][PDF] Example-Based Live Programming for Everyone

F Niephaus, P Rein, J Edding, J Hering, B König… - 2020 - academia.edu
Our community has explored various approaches to improve the programming experience.
Although many of them, such as Example-Based Live Programming (elp), have shown to be …

[HTML][HTML] SymJEx: Symbolic Execution on GraalVM/submitted by Thomas Pointhuber, BSc

T Pointhuber - 2020 - epub.jku.at
Softwaretesting ist ein grundlegender Bestandteil der Software-Entwicklung. Für eine hohe
Softwarequalität ist es notwendig, die Korrektheit der Software zu verifizieren, und …

[HTML][HTML] personal and research notes

S Marr - stefan-marr.de
@ inproceedings {Burchell: 2024: InstBased, abstract={Profilers are crucial tools for
identifying and improving application performance. However, for language implementations …