A brief description is offered of the ÆtnaNova proof-verifier developed at NYU as a companion of the set-based programming language SETL
ÆtnaNova, an alter ego of SETL / Cantone, D., Omodeo, E., Policriti, A.. - ELETTRONICO. - arXiv:2409.19211(2024), pp. 77-81. (LPOP 2022 Stony Brook University December 13, 2022).
ÆtnaNova, an alter ego of SETL
Eugenio Omodeo
;
2024-01-01
Abstract
A brief description is offered of the ÆtnaNova proof-verifier developed at NYU as a companion of the set-based programming language SETLFile in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
