Is this program correct?
'►' shortcut: Alt+B
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?
Privacy & Cookies
| © 2021 Microsoft