( en | de | ru )

 

Disambiguierung von "Ernst, Michael D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A practical type system and language for reference immutability.

, und . OOPSLA, Seite 35-49. ACM, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael D Segeritz

Michael D Swartz

Michael D Menger

Michael d' Orville

Michael D Breitenstein

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic SAT-Compilation of Planning Problems., , und . IJCAI, Seite 1169-1177. Morgan Kaufmann, (1997)Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 53-54. GI, (2015)How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.. TAP@TOOLS, Volume 6143 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2010)Summary: ICSE workshop on dynamic analysis (WODA 2003)., und . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)Inferring models of concurrent systems from logs of their behavior with CSight., , , und . ICSE, Seite 468-479. ACM, (2014)An Empirical Study of Fault Localization Families and Their Combinations., , , , und . IEEE Trans. Software Eng., 47 (2): 332-347 (2021)A Data Programming CS1 Course., , , , und . SIGCSE, Seite 150-155. ACM, (2015)Automated diagnosis of software configuration errors., und . ICSE, Seite 312-321. IEEE Computer Society, (2013)CBCD: Cloned buggy code detector., und . ICSE, Seite 310-320. IEEE Computer Society, (2012)Refactoring sequential Java code for concurrency via concurrent libraries., , und . ICSE, Seite 397-407. IEEE, (2009)