( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dependent Types for Low-Level Programming.

, , , , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 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.

Jürgen Gay

Peter Gay

Joël Gay

Bernd Gay

Steffen Gay

 

Другие публикации лиц с тем же именем

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