Density Compiler

swMATH28659MaRDI QIDQ40373FDOQ40373

Author name not available (Why is that?)

Described by source

• A Verified Compiler for Probability Density Functions

Cited In (6)

• Verified analysis of random binary tree structures
• Program logic for higher-order probabilistic programs in Isabelle/HOL
• Verified analysis of random binary tree structures
• Equational Reasoning with Applicative Functors
• Effect polymorphism in higher-order logic (proof pearl)
• Markov chains and Markov decision processes in Isabelle/HOL

This page was built for software: Density Compiler