Author: Erdweg, Sebastian / Organizational unit: Fachbereiche / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Author Erdweg, Sebastian Organizational unit Fachbereiche Data source DBLP

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

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

42. Type-safe, Polyvariadic Event Correlation.

Autoren:: Bracevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Type:: Journal article

43. Toward abstract interpretation of program transformations.

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

44. 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
Type:: Conference

45. 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
Type:: Conference

46. Template constructors for reusable object initialization.

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

47. Towards virtual traits in Scala.

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

48. Sound type-dependent syntactic language extension.

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

49. 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
Type:: Conference

50. 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
Type:: Conference

« Previous
Next »
1
2
3
4
5
6
7
8