( en | de | ru )

 

Disambiguation of "Gay, David"

Author of the publication

copydeleteadd this publication to your clipboard
Dependent Types for Low-Level Programming.

, , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jürgen Gay

Peter Gay

Joël Gay

Steffen Gay

Barbara Gay

 

Other publications of authors with the same name

Geometry by discovery. John Wiley & Sons, New York, NY, (1998)Barrier Inference., and . POPL, page 342-354. ACM, (1998)Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)Software design patterns for TinyOS., , and . LCTES, page 40-49. ACM, (2005)Firestore: The NoSQL Serverless Database for the Application Developer., , , , and . ICDE, page 3376-3388. IEEE, (2023)The Emergence of Networking Abstractions and Techniques in TinyOS., , , , , , , and . NSDI, page 1-14. USENIX, (2004)A macroscope in the redwoods, , , , , , , , , and 1 other author(s). Proceedings of the 3rd international conference on Embedded networked sensor systems, page 51--63. ACM, (2005)The nesC language: a holistic approach to networked embedded systems., , , , , and . ACM SIGPLAN Notices, 49 (4S): 41-52 (2014)A macroscope in the redwoods., , , , , , , , , and 1 other author(s). SenSys, page 51-63. ACM, (2005)Fast Escape Analysis and Stack Allocation for Object-Based Programs., and . CC, volume 1781 of Lecture Notes in Computer Science, page 82-93. Springer, (2000)