Standard
Type-directed Program Transformation for Constant-Time Enforcement. / Raimondi, Gautier; Jensen, Thomas; Besson, Frédéric.
PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 2023. s. 1-13 6.
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Raimondi, G
, Jensen, T & Besson, F 2023,
Type-directed Program Transformation for Constant-Time Enforcement. i
PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming., 6, Association for Computing Machinery, s. 1-13, 25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023, Lisboa, Portugal,
22/10/2023.
https://doi.org/10.1145/3610612.3610618
APA
Raimondi, G.
, Jensen, T., & Besson, F. (2023).
Type-directed Program Transformation for Constant-Time Enforcement. I
PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (s. 1-13). [6] Association for Computing Machinery.
https://doi.org/10.1145/3610612.3610618
Vancouver
Raimondi G
, Jensen T, Besson F.
Type-directed Program Transformation for Constant-Time Enforcement. I PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery. 2023. s. 1-13. 6
https://doi.org/10.1145/3610612.3610618
Author
Raimondi, Gautier ; Jensen, Thomas ; Besson, Frédéric. / Type-directed Program Transformation for Constant-Time Enforcement. PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 2023. s. 1-13
Bibtex
@inproceedings{6fcc31854ab3445cab6bd178ff844940,
title = "Type-directed Program Transformation for Constant-Time Enforcement",
author = "Gautier Raimondi and Thomas Jensen and Fr{\'e}d{\'e}ric Besson",
year = "2023",
doi = "10.1145/3610612.3610618",
language = "English",
pages = "1--13",
booktitle = "PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming",
publisher = "Association for Computing Machinery",
note = "25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023 ; Conference date: 22-10-2023 Through 25-10-2023",
}
RIS
TY - GEN
T1 - Type-directed Program Transformation for Constant-Time Enforcement
AU - Raimondi, Gautier
AU - Jensen, Thomas
AU - Besson, Frédéric
PY - 2023
Y1 - 2023
U2 - 10.1145/3610612.3610618
DO - 10.1145/3610612.3610618
M3 - Article in proceedings
SP - 1
EP - 13
BT - PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming
PB - Association for Computing Machinery
T2 - 25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023
Y2 - 22 October 2023 through 25 October 2023
ER -