×

Found 34 Documents (Results 1–34)

Is Solidity solid enough? (English) Zbl 1520.91442

Bracciali, Andrea (ed.) et al., Financial cryptography and data security. FC 2019 international workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11599, 138-153 (2020).
MSC:  91G99 94A60 91-04
PDFBibTeX XMLCite
Full Text: DOI

Coq without type casts: a complete proof of Coq Modulo Theory. (English) Zbl 1403.68227

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 474-489 (2017).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Type soundness proofs with definitional interpreters. (English) Zbl 1380.68111

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 666-679 (2017).
MSC:  68N30 03B70 68T15
PDFBibTeX XMLCite
Full Text: DOI

Sound type-dependent syntactic language extension. (English) Zbl 1347.68088

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 204-216 (2016).
MSC:  68N30 68N15 68N20
PDFBibTeX XMLCite
Full Text: DOI Link

Modular and automated type-soundness verification for language extensions. (English) Zbl 1323.68218

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 331-342 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

A simple model construction for the calculus of constructions. (English) Zbl 1434.03046

Berardi, Stefano (ed.) et al., Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1158, 249-264 (1996).
MSC:  03B38 03B40 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software