This site uses cookies for analytics, personalized content and ads. By continuing to browse this site, you agree to this use.
Learn more
fast
by Microsoft
Is this program correct?
loading...
home
tutorial
permalink
'►' 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?
tools
developer
about
Contact Us
|
Privacy & Cookies
|
Terms of Use
|
Trademarks
| © 2019 Microsoft