Zobrazeno 1 - 10
of 67
pro vyhledávání: '"Erdweg, Sebastian"'
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 specialized correlation semantics, including computation models that s
Externí odkaz:
http://arxiv.org/abs/1907.02990
Publikováno v:
The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 3, Article 9
Context. 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 envir
Externí odkaz:
http://arxiv.org/abs/1803.10197
This paper addresses compositional and incremental type checking for object-oriented programming languages. Recent work achieved incremental type checking for structurally typed functional languages through co-contextual typing rules, a constraint-ba
Externí odkaz:
http://arxiv.org/abs/1705.05828
Autor:
Erdweg, Sebastian, Ostermann, Klaus
Publikováno v:
The Art, Science, and Engineering of Programming, 2017, Vol. 1, Issue 2, Article 9
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 sele
Externí odkaz:
http://arxiv.org/abs/1703.10895
Running distributed applications in the cloud involves deployment. That is, distribution and configuration of application services and middleware infrastructure. The considerable complexity of these tasks resulted in the emergence of declarative JSON
Externí odkaz:
http://arxiv.org/abs/1602.00981
Autor:
van der Storm, Tijs, Erdweg, Sebastian
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 applied in realistic application contexts. We are both interested in di
Externí odkaz:
http://arxiv.org/abs/1508.03536
Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture. Variable capture occurs when in the generated program a variable declaration accidentally shadows the intended target of a var
Externí odkaz:
http://arxiv.org/abs/1404.5770
Autor:
Erdweg, Sebastian, van der Storm, Tijs, Völter, Markus, Tratt, Laurence, Bosman, Remi, Cook, William R., Gerritsen, Albert, Hulshout, Angelo, Kelly, Steven, Loh, Alex, Konat, Gabriël, Molina, Pedro J., Palatnik, Martin, Pohjonen, Risto, Schindler, Eugen, Schindler, Klemens, Solmi, Riccardo, Vergu, Vlad, Visser, Eelco, van der Vlist, Kevin, Wachsmuth, Guido, van der Woning, Jimi
Publikováno v:
In Computer Languages, Systems & Structures December 2015 44 Part A:24-47
Even though static analyses can improve performance and secure programs against vulnerabilities, no static whole-program analyses exist for WebAssembly (Wasm) to date. Part of the reason is that Wasm has many complex language concerns, and it is not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28ae1ca6e84186bce57a8d4ec4233244
Autor:
Pacak, André, Erdweg, Sebastian
Datalog is a carefully restricted logic programming language. What makes Datalog attractive is its declarative fixpoint semantics: Datalog queries consist of simple Horn clauses, yet Datalog solvers efficiently compute all derivable tuples even for r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c7e3c4e0b27dcc3e7f17dd306326159