Type-directed Program Transformation for Constant-Time Enforcement

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelPPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming
ForlagAssociation for Computing Machinery
Publikationsdato2023
Sider1-13
Artikelnummer6
ISBN (Elektronisk)979-8-4007-0812-1
DOI
StatusUdgivet - 2023
Begivenhed25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023 - Lisboa, Portugal
Varighed: 22 okt. 2023 → 25 okt. 2023

Konference

Konference25th International Symposium on Principles and Practice of Declarative Programming - PPDP 2023
LandPortugal
ByLisboa
Periode22/10/2023 → 25/10/2023

ID: 383926062