Organizational unit: Institut für Informatik / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Organizational unit Institut für Informatik Data source DBLP

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

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Raulf, Michael; Mezini, Mira
Veröffentlichungsdatum:: 2018
Type:: Journal article

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

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

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

405. Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018

Autoren:
Editoren:: Erdweg, Sebastian; Oliveira, Bruno CDS
Veröffentlichungsdatum:: 2018
Type:: Conference

406. Language-integrated privacy-aware distributed queries

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

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

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Type:: Journal article

408. Versatile event correlation with algebraic effects

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

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

410. Generating incremental type services.

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

« Previous
Next »
1
2
…
37
38
39
40
41
42