Autor: Erdweg, Sebastian / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

Autoren:: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias
Veröffentlichungsdatum:: 2023
Typ:: Zeitschriftenaufsatz

2. CPL: A Core Language for Cloud Computing - Technical Report.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Typ:: Zeitschriftenaufsatz

3. Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015).

Autoren:: Storm, Tijs van der; Erdweg, Sebastian
Veröffentlichungsdatum:: 2015
Typ:: Zeitschriftenaufsatz

4. Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Veröffentlichungsdatum:: 2014
Typ:: Zeitschriftenaufsatz

5. Capture-Avoiding and Hygienic Program Transformations.

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Editoren:: Jones, Richard E
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

6. Bootstrapping domain-specific meta-languages in language workbenches.

Autoren:: Konat, Gabriël; Erdweg, Sebastian; Visser, Eelco
Editoren:: Fischer, Bernd; Schaefer, Ina
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

7. A variability-aware module system.

Autoren:: Kästner, Christian; Ostermann, Klaus; Erdweg, Sebastian
Editoren:: Leavens, Gary T; Dwyer, Matthew B
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

8. Language composition untangled.

Autoren:: Erdweg, Sebastian; Giarrusso, Paolo G; Rendel, Tillmann
Editoren:: Sloane, Anthony; Andova, Suzana
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

9. Layout-sensitive language extensibility with SugarHaskell.

Autoren:: Erdweg, Sebastian; Rieger, Felix; Rendel, Tillmann; Ostermann, Klaus
Editoren:: Voigtländer, Janis
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

10. Growing a language environment with editor libraries.

Autoren:: Erdweg, Sebastian; Kats, Lennart CL; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus; Visser, Eelco
Editoren:: Denney, Ewen; Schultz, Ulrik Pagh
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

11. i3QL: language-integrated live data views.

Autoren:: Mitschke, Ralf; Erdweg, Sebastian; Köhler, Mirko; Mezini, Mira; Salvaneschi, Guido
Editoren:: Black, Andrew P; Millstein, Todd D
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

12. Efficient development of consistent projectional editors using grammar cells.

Autoren:: Voelter, Markus; Szabó, Tamás; Lisson, Sascha; Kolb, Bernd; Erdweg, Sebastian; Berger, Thorsten
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

13. A framework for extensible languages.

Autoren:: Erdweg, Sebastian; Rieger, Felix
Editoren:: Järvi, Jaakko; Kästner, Christian
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

14. A co-contextual formulation of type rules and its application to incremental type checking.

Autoren:: Erdweg, Sebastian; Bracevac, Oliver; Kuci, Edlira; Krebs, Matthias; Mezini, Mira
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

15. Software Evolution to Domain-Specific Languages.

Autoren:: Fehrenbach, Stefan; Erdweg, Sebastian; Ostermann, Klaus
Editoren:: Erwig, Martin; Paige, Richard F; Wyk, Eric Van
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

16. Layout-Sensitive Generalized Parsing.

Autoren:: Erdweg, Sebastian; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus
Editoren:: Czarnecki, Krzysztof; Hedin, Görel
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

17. Exploration of language specifications by compilation to first-order logic.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Raulf, Michael; Mezini, Mira
Editoren:: Cheney, James; Vidal, Germán
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

18. IncA: a DSL for the definition of incremental program analyses.

Autoren:: Szabó, Tamás; Erdweg, Sebastian; Voelter, Markus
Editoren:: Lo, David; Apel, Sven; Khurshid, Sarfraz
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

19. A sound and optimal incremental build system with dynamic dependencies.

Autoren:: Erdweg, Sebastian; Lichter, Moritz; Weiel, Manuel
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

20. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

21. Using Vampire in Soundness Proofs of Type Systems.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

22. Variability-aware parsing in the presence of lexical macros and conditional compilation.

Autoren:: Kästner, Christian; Giarrusso, Paolo G; Rendel, Tillmann; Erdweg, Sebastian; Ostermann, Klaus; Berger, Thorsten
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

23. A Systematic Approach to Abstract Interpretation of Program Transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Beyer, Dirk; Zufferey, Damien
Veröffentlichungsdatum:: 2020
Typ:: Konferenzbeitrag

24. A systematic approach to deriving incremental type checkers

Autoren:: Pacak, André; Erdweg, Sebastian; Szabó, Tamás
Veröffentlichungsdatum:: 2020
Typ:: Zeitschriftenaufsatz

25. Evolution of Software Systems with Extensible Languages and DSLs

Autoren:: Erdweg, Sebastian; Fehrenbach, Stefan; Ostermann, Klaus
Veröffentlichungsdatum:: 2014
Typ:: Zeitschriftenaufsatz

26. Toward incremental type checking for Java.

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Mezini, Mira
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

27. XPoints: Extension Interfaces for Multilayered Applications

Autoren:: Aly, Mohamed; Charfi, Anis; Erdweg, Sebastian; Mezini, Mira
Editoren:: Gasevic, Dragan; Hatala, Marek; Nezhad, Hamid R Motahari; Reichert, Manfred
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

28. Modular specification and dynamic enforcement of syntactic language constraints when generating code.

Autoren:: Erdweg, Sebastian; Vergu, Vlad A; Mezini, Mira; Visser, Eelco
Editoren:: Binder, Walter; Ernst, Erik; Peternier, Achille; Hirschfeld, Robert
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

29. Finding bugs in program generators by dynamic analysis of syntactic language constraints.

Autoren:: Erdweg, Sebastian; Vergu, Vlad A; Mezini, Mira; Visser, Eelco
Editoren:: Binder, Walter; Ernst, Erik; Peternier, Achille; Hirschfeld, Robert
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

30. Library-based model-driven software development with SugarJ.

Autoren:: Erdweg, Sebastian; Kats, Lennart CL; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus; Visser, Eelco
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

31. DSLDI 2014: second workshop on domain specific languages design and implementation.

Autoren:: Erdweg, Sebastian; Welc, Adam
Editoren:: Black, Andrew P
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

32. Abstract Features in Feature Modeling

Autoren:: Thum, Thomas; Kastner, Christian; Erdweg, Sebastian; Siegmund, Norbert
Editoren:: Almeida, Eduardo Santana de; Kishi, Tomoji; Schwanninger, Christa; John, Isabel; Schmid, Klaus
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

33. Evaluating and comparing language workbenches

Autoren:: 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
Veröffentlichungsdatum:: 2015
Typ:: Zeitschriftenaufsatz

34. Interactive Debugging of Datalog Programs

Autoren:: Pacak, André; Erdweg, Sebastian
Veröffentlichungsdatum:: 2023
Typ:: Zeitschriftenaufsatz

35. Concise, Type-Safe, and Efficient Structural Diffing

Autoren:: Erdweg, Sebastian; Szabo, Tamas; Pacak, Andre
Editoren:: Freund, Stephen N; Yahav, Eran
Veröffentlichungsdatum:: 2021
Typ:: Konferenzbeitrag

36. Incremental Whole-Program Analysis in Datalog with Lattices

Autoren:: Szabo, Tamas; Erdweg, Sebastian; Bergmann, Gabor
Editoren:: Freund, Stephen N; Yahav, Eran
Veröffentlichungsdatum:: 2021
Typ:: Konferenzbeitrag

37. Domain-Specific Languages (Dagstuhl Seminar 15062).

Autoren:: Erdweg, Sebastian; Erwig, Martin; Paige, Richard F; Visser, Eelco
Veröffentlichungsdatum:: 2015
Typ:: Zeitschriftenaufsatz

38. A Module-System Discipline for Model-Driven Software Development

Autoren:: Erdweg, Sebastian; Ostermann, Klaus
Veröffentlichungsdatum:: 2017
Typ:: Zeitschriftenaufsatz

39. PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Autoren:: Konat, Gabriël; Steindorfer, Michael J; Erdweg, Sebastian; Visser, Eelco
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

40. Compositional soundness proofs of abstract interpreters

Autoren:: Keidel, Sven; Poulsen, Casper Bach; Erdweg, Sebastian
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

41. Modular and automated type-soundness verification for language extensions.

Autoren:: Lorenzen, Florian; Erdweg, Sebastian
Editoren:: Morrisett, Greg; Uustalu, Tarmo
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

42. Type-safe, Polyvariadic Event Correlation.

Autoren:: Bracevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Typ:: Zeitschriftenaufsatz

43. Type systems for the masses: deriving soundness proofs and efficient checkers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Wittmann, Pascal; Mezini, Mira
Editoren:: Murphy, Gail C; Jr, Guy L Steele
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

44. Principled syntactic code completion using placeholders.

Autoren:: Amorim, Luís Eduardo de Souza; Erdweg, Sebastian; Wachsmuth, Guido; Visser, Eelco
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

45. Template constructors for reusable object initialization.

Autoren:: Martin, Marko; Mezini, Mira; Erdweg, Sebastian
Editoren:: Järvi, Jaakko; Kästner, Christian
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

46. Towards virtual traits in Scala.

Autoren:: Weiel, Manuel; Maier, Ingo; Erdweg, Sebastian; Eichberg, Michael; Mezini, Mira
Editoren:: Haller, Philipp; Miller, Heather
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

47. SugarJ: library-based language extensibility.

Autoren:: Erdweg, Sebastian; Kats, Lennart CL; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus; Visser, Eelco
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

48. Sound type-dependent syntactic language extension.

Autoren:: Lorenzen, Florian; Erdweg, Sebastian
Editoren:: Bodík, Rastislav; Majumdar, Rupak
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

49. SugarJ: library-based syntactic language extensibility.

Autoren:: Erdweg, Sebastian; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

50. Toward variability-aware testing.

Autoren:: Kästner, Christian; Rhein, Alexander von; Erdweg, Sebastian; Pusch, Jonas; Apel, Sven; Rendel, Tillmann; Ostermann, Klaus
Editoren:: Schaefer, Ina; Thüm, Thomas
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

Suchen

Suchen

Suchergebnisse

Suche beschränken

Kategorie

Publikationsart

Autor

Veröffentlichungsjahr

Berichtsdatum

Organisationseinheit

Datenquelle