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. A Module-System Discipline for Model-Driven Software Development.

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

38. Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).

Autoren:: Demetrescu, Camil; Erdweg, Sebastian; Hammer, Matthew A; Krishnamurthi, Shriram
Veröffentlichungsdatum:: 2016
Typ:: Zeitschriftenaufsatz

39. Sound and reusable components for abstract interpretation

Autoren:: Keidel, Sven; Erdweg, Sebastian
Veröffentlichungsdatum:: 2019
Typ:: Zeitschriftenaufsatz

40. 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

41. Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages.

Autoren:: Amorim, Luís Eduardo de Souza; Steindorfer, Michael J; Erdweg, Sebastian; Visser, Eelco
Editoren:: Pearce, David J; Mayerhofer, Tanja; Steimann, Friedrich
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

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

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Raulf, Michael; Mezini, Mira
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

43. Scalable incremental building with dynamic task dependencies.

Autoren:: Konat, Gabriël; Erdweg, Sebastian; Visser, Eelco
Editoren:: Huchard, Marianne; Kästner, Christian; Fraser, Gordon
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

44. System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Mezini, Mira
Editoren:: Sabel, David; Thiemann, Peter
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

45. A Co-contextual Type Checker for Featherweight Java .

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Editoren:: Müller, Peter
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

46. Language-integrated privacy-aware distributed queries

Autoren:: Salvaneschi, Guido; Köhler, Mirko; Sokolowski, Daniel; Haller, Philipp; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Typ:: Zeitschriftenaufsatz

47. A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Typ:: Zeitschriftenaufsatz

48. Versatile event correlation with algebraic effects

Autoren:: Bračevac, Oliver; Amin, Nada; Salvaneschi, Guido; Erdweg, Sebastian; Eugster, Patrick; Mezini, Mira
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

49. The IDE portability problem and its solution in Monto.

Autoren:: Keidel, Sven; Pfeiffer, Wulf; Erdweg, Sebastian
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

50. Generating incremental type services.

Autoren:: Pacak, André; Erdweg, Sebastian
Editoren:: Nierstrasz, Oscar; Gray, Jeff; Oliveira, Bruno CDS
Veröffentlichungsdatum:: 2019
Typ:: Konferenzbeitrag

51. Incremental overload resolution in object-oriented programming languages.

Autoren:: Szabó, Tamás; Kuci, Edlira; Bijman, Matthijs; Mezini, Mira; Erdweg, Sebastian
Editoren:: Dolby, Julian; Halfond, William GJ; Mishra, Ashish
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag

52. Toward abstract interpretation of program transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Chiba, Shigeru; Boix, Elisa Gonzalez; Marr, Stefan
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

53. Persistent Software Transactional Memory in Haskell

Autoren:: Krauter, Nicolas; Raaf, Patrick; Braam, Peter; Salkhordeh, Reza; Erdweg, Sebastian; Brinkmann, Andre
Veröffentlichungsdatum:: 2021
Typ:: Zeitschriftenaufsatz

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

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

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

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

56. 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

57. Compositional soundness proofs of abstract interpreters

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

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

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

59. Type-safe, Polyvariadic Event Correlation.

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

60. 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

61. 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

62. 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

63. 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

64. Sound type-dependent syntactic language extension.

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

65. 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

66. 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

67. 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

68. An extensible framework for variable-precision data-flow analyses in MPS.

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

69. Tracing Program Transformations with String Origins.

Autoren:: Inostroza, Pablo; Storm, Tijs van der; Erdweg, Sebastian
Editoren:: Ruscio, Davide Di; Varró, Dániel
Veröffentlichungsdatum:: 2014
Typ:: Konferenzbeitrag

70. Modular capture avoidance for program transformations.

Autoren:: Ritschel, Nico; Erdweg, Sebastian
Editoren:: Paige, Richard F; Ruscio, Davide Di; Völter, Markus
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

71. Towards secure integration of cryptographic software.

Autoren:: Arzt, Steven; Nadi, Sarah; Ali, Karim; Bodden, Eric; Erdweg, Sebastian; Mezini, Mira
Editoren:: Murphy, Gail C; Jr, Guy L Steele
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

72. Capture-Avoiding Program Transformations with name-fix.

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Editoren:: Aßmann, Uwe; Demuth, Birgit; Spitta, Thorsten; Püschel, Georg; Kaiser, Ronny
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

73. CPL: a core language for cloud computing.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Editoren:: Fuentes, Lidia; Batory, Don S; Czarnecki, Krzysztof
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

74. Incrementalizing lattice-based program analyses in Datalog

Autoren:: Szabó, Tamás; Bergmann, Gábor; Erdweg, Sebastian; Voelter, Markus
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

75. The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge.

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Völter, Markus; Boersma, Meinte; Bosman, Remi; Cook, William R; Gerritsen, Albert; Hulshout, Angelo; Kelly, Steven; Loh, Alex; Konat, Gabriël DP; Molina, Pedro J; Palatnik, Martin; Pohjonen, Risto; Schindler, Eugen; Schindler, Klemens; Solmi, Riccardo; Vergu, Vlad A; Visser, Eelco; Vlist, Kevin van der; Wachsmuth, Guido; Woning, Jimi van der
Editoren:: Erwig, Martin; Paige, Richard F; Wyk, Eric Van
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

Suchen

Suchen

Suchergebnisse

Suche beschränken

Kategorie

Publikationsart

Autor

Veröffentlichungsjahr

Berichtsdatum

Organisationseinheit

Datenquelle