fast
by Microsoft
Is this program correct?
loading...
 home tutorial
'►' shortcut: Alt+B
samples
functions
complement
trees
constants
deforestation
preimage
equivalence
typechecking
languageoperations
restrict
htmlSanitizer
bodytree
about Fast - A domain specific language for writing and analyzing tree manipulating programs
With FAST, you can answer questions like Can this program ever output a target tree? What happens if I compose these two programs?
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2021 Microsoft