reFLect

swMATH22717MaRDI QIDQ34508FDOQ34508

Author name not available (Why is that?)

Official website: https://www.cs.ox.ac.uk/tom.melham/res/reflect.html

Cited In (12)

• A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
• Incorporating quotation and evaluation into Church's type theory
• Incorporating quotation and evaluation into Church's type theory: syntax and semantics
• MetaPRL
• MetaOCaml
• HOL Light QE
• HOL2P
• HOL Light QE
• Lava
• muFP
• A reflective functional language for hardware design and theorem proving
• Mothers of pipelines

This page was built for software: reFLect