Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Paulette Koronkevich"'
Publikováno v:
Journal of Functional Programming. 32
Many programmers use dependently typed languages such as Coq to machine-verify high-assurance software. However, existing compilers for these languages provide no guarantees after compiling, nor when linking after compilation. Type-preserving compile
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::178614f7824a39a89f722456abb1cbd8
https://doi.org/10.1017/s0956796822000090
https://doi.org/10.1017/s0956796822000090
Autor:
Celeste Barnaby, Michael Coblenz, Jenna Wise, Gauri Kambhatla, Paulette Koronkevich, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine
Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: they have high iteration costs, programmers require significant learning time, an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::954f323c165db0b42b71b30a692c8060
http://arxiv.org/abs/1912.04719
http://arxiv.org/abs/1912.04719
Autor:
Jonathan Aldrich, Paulette Koronkevich, Tyler Etzel, Joshua Sunshine, Reed Oei, Yannick Bloem, Brad A. Myers, Michael Coblenz, Miles Baker
Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d501b782a7bc8b6bd05e2300ac05be76