( en | de | ru )

 

Disambiguierung von "Gay, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dependent Types for Low-Level Programming.

, , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)

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.

Jürgen Gay

Peter Gay

Joël Gay

Bernd Gay

Steffen Gay

 

Weitere Publikationen von Autoren mit dem selben Namen

Geometry by discovery. John Wiley & Sons, New York, NY, (1998)Software design patterns for TinyOS., , und . LCTES, Seite 40-49. ACM, (2005)Firestore: The NoSQL Serverless Database for the Application Developer., , , , und . ICDE, Seite 3376-3388. IEEE, (2023)Dependent Types for Low-Level Programming., , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)Barrier Inference., und . POPL, Seite 342-354. ACM, (1998)The Emergence of Networking Abstractions and Techniques in TinyOS., , , , , , , und . NSDI, Seite 1-14. USENIX, (2004)Transparent Migration from Datastore to Firestore., , , , , und . Proc. VLDB Endow., 17 (12): 3960-3972 (August 2024)Safe manual memory management., , und . ISMM, Seite 2-14. ACM, (2007)Lightweight annotations for controlling sharing in concurrent data structures., , und . PLDI, Seite 98-109. ACM, (2009)Fast Escape Analysis and Stack Allocation for Object-Based Programs., und . CC, Volume 1781 von Lecture Notes in Computer Science, Seite 82-93. Springer, (2000)