Publikationsart: Konferenzbeitrag / Autor: Erdweg, Sebastian / Organisationseinheit: FB 08 Physik, Mathematik und Informatik - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Konferenzbeitrag Autor Erdweg, Sebastian Organisationseinheit FB 08 Physik, Mathematik und Informatik

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

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

43. Sound type-dependent syntactic language extension.

Autoren:: Lorenzen, Florian; Erdweg, Sebastian
Editoren:: Bodík, Rastislav; Majumdar, Rupak
Veröffentlichungsdatum:: 2016
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. 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

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

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

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

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