Building reliable, high-performance networks with the Nuprl proof development system

DOI10.1017/S0956796803004854zbMath1083.68010MaRDI QIDQ4819652

Christoph Kreitz

Publication date: 27 September 2004

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Innovations in computational type theory using Nuprl ⋮ Adapting functional programs to higher order logic ⋮ Constructive Membership Predicates as Index Types

Uses Software

• Coq
• TPS
• PVS
• JML
• MetaPRL
• OCaml
• Nuprl
• Twelf
• JProver
• LOOP
• Specware

This page was built for publication: Building reliable, high-performance networks with the Nuprl proof development system