( en | de | ru )

 

Disambiguierung von "Eisenbach, Susan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
High coverage testing of Haskell programs.

, , und . ISSTA, Seite 375-385. ACM, (2011)

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.

Astrid Sunarti Susanto-Sunario

Anneliese Eisenbach

Georg Eisenbach

Yeni Susanti

Timotius Susantija

 

Weitere Publikationen von Autoren mit dem selben Namen

Modelling Darwin in the Pi-Caculus., , und . Dagstuhl Seminar on Distributed Systems, Volume 938 von Lecture Notes in Computer Science, Seite 133-152. Springer, (1994)Formal underpinnings of Java.. OOPSLA Addendum, ACM, (1998)High coverage testing of Haskell programs., , und . ISSTA, Seite 375-385. ACM, (2011)Higher-order type-level programming in Haskell., , , und . Proc. ACM Program. Lang., 3 (ICFP): 102:1-102:26 (2019)Finding the needle: stack traces for GHC., , und . Haskell, Seite 129-140. ACM, (2009)REGIS-DARWIN specified in the π-calculus., , und . CDS, Seite 213. IEEE Computer Society, (1994)Verification of Policy-Based Self-Managed Cell Interactions Using Alloy., , , und . POLICY, Seite 37-40. IEEE Computer Society, (2009)LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!)., und . LISA, Seite 199-210. USENIX, (2001)Evolution of Distributed Java Programs., , und . Component Deployment, Volume 2370 von Lecture Notes in Computer Science, Seite 51-66. Springer, (2002)Strengthening the Zipper., und . LDTA, Volume 253 von Electronic Notes in Theoretical Computer Science, Seite 3-18. Elsevier, (2009)