Publication type: Conference / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Publication type Conference Data source DBLP

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

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

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

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

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

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

517. Generating incremental type services.

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

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

519. WarpDrive: Massively Parallel Hashing on Multi-GPU Nodes

Autoren:: Juenger, Daniel; Hundt, Christian; Schmidt, Bertil
Veröffentlichungsdatum:: 2018
Type:: Conference

520. Ultra-Fast Detection of Higher-Order Epistatic Interactions on GPUs

Autoren:: Junger, Daniel; Hundt, Christian; Gonzalez-Dominguez, Jorge; Schmidt, Bertil
Editoren:: Desprez, Frédéric; Dutot, Pierre-François; Kaklamanis, Christos; Marchal, Loris; Molitorisz, Korbinian; Ricci, Laura; Scarano, Vittorio; Vega-Rodríguez, Miguel A; Varbanescu, Ana Lucia; Hunold, Sascha; Scott, Stephen L; Lankes, Stefan; Weidendorfer, Josef
Veröffentlichungsdatum:: 2017
Type:: Conference

« Previous
Next »
1
2
…
48
49
50
51
52
53