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

Neu anfangen Autor Erdweg, Sebastian Datenquelle DBLP

41. Compositional soundness proofs of abstract interpreters

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

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

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

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

44. Type-safe, Polyvariadic Event Correlation.

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

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. Sound type-dependent syntactic language extension.

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

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

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