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, Domenico; Omodeo, Eugenio; Policriti, Alberto. - 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.
