4 citations · 11 across the 7 of their papers we have counts for
7 papers
Type-safe, Polyvariadic Event Correlation
Oliver Bračevac, Guido Salvaneschi, Sebastian Erdweg +1
The pivotal role that event correlation technology plays in todays applications has lead to the emergence of different families of event correlation approaches with a multitude of…
PIE: A Domain-Specific Language for Interactive Software Development Pipelines
Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg +1
Context. Software development pipelines are used for automating essential parts of software engineering processes, such as build automation and continuous integration testing. In p…
A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
Edlira Kuci, Sebastian Erdweg, Oliver Bračevac +2
This paper addresses compositional and incremental type checking for object-oriented programming languages. Recent work achieved incremental type checking for structurally typed fu…
A Module-System Discipline for Model-Driven Software Development
Sebastian Erdweg, Klaus Ostermann
Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing f…
CPL: A Core Language for Cloud Computing -- Technical Report
Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi +1
Running distributed applications in the cloud involves deployment. That is, distribution and configuration of application services and middleware infrastructure. The considerable c…
Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015)
Tijs van der Storm, Sebastian Erdweg
The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and a…
Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)
Sebastian Erdweg, Tijs van der Storm, Yi Dai
Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture. Variable capture occurs when in the generated program a…