Secure distributed programming with value-dependent types

DOI10.1017/S0956796813000142zbMath1290.68033MaRDI QIDQ5398328

Juan Chen, Karthikeyan Bhargavan, Cédric Fournet, Jean Yang, Pierre-Yves Strub, Nikhil Swamy

Publication date: 27 February 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

functional languages; recursion; Coq; type soundness; distributed programming; Fine; F7; F*

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N15: Theory of programming languages

68N18: Functional programming and lambda calculus

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

F*

Uses Software

• Coq
• Ott
• Why3
• z3
• JavaScript
• Boogie
• Cayenne
• AURA
• Ynot
• Fable