- document
-
Konat, G.D.P. (author), Steindorfer, M.J. (author), Erdweg, S.T. (author), Visser, Eelco (author)Context. <br/>Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In particular, interactive pipelines, which process events in a live environment such as an IDE, require timely results for low-latency feedback, and persistence to...journal article 2018
- document
-
Bračevac, Oliver (author), Amin, Nada (author), Salvaneschi, Guido (author), Erdweg, S.T. (author), Eugster, Patrick (author), Mezini, Mira (author)We present the first language design to uniformly express variants of n-way joins over asynchronous event streams from different domains, e.g., stream-relational algebra, event processing, reactive and concurrent programming. We model asynchronous reactive programs and joins in direct style, on top of algebraic effects and handlers. Effect...journal article 2018
- document
-
Grewe, Sylvia (author), Erdweg, S.T. (author), Pacak, André (author), Raulf, Michael (author), Mezini, Mira (author)Exploration of language specifications helps to discover errors and inconsistencies early during the development of a programming language. We propose exploration of language specifications via application of existing automated first-order theorem provers (ATPs). To this end, we translate language specifications and exploration tasks to first...journal article 2018
- document
-
Szabo, T. (author), Bergmann, Gábor (author), Erdweg, S.T. (author), Voelter, Markus (author)Program analyses detect errors in code, but when code changes frequently as in an IDE, repeated re-analysis from-scratch is unnecessary: It leads to poor performance unless we give up on precision and recall. Incremental program analysis promises to deliver fast feedback without giving up on precision or recall by deriving a new analysis result...journal article 2018
- document
-
Erdweg, S.T. (author), Ostermann, Klaus (author)Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing feature of model-driven development is that clients of a model can select from an open set of alternative semantics of the model by applying different model...journal article 2017
- document
-
Lorenzen, Florian (author), Erdweg, S.T. (author)Syntactic language extensions can introduce new facilities into a programming language while requiring little implementation effort and modest changes to the compiler. It is typical to desugar language extensions in a distinguished compiler phase after parsing or type checking, not affecting any of the later compiler phases. If desugaring...journal article 2016