Warning: Undefined array key "REMOTE_USER" in /s/chopin/h/proj/AlphaZ/public_html/wiki/feed.php on line 36
Warning: Undefined array key "media" in /s/chopin/h/proj/AlphaZ/public_html/wiki/feed.php on line 219
Warning: Undefined array key "media" in /s/chopin/h/proj/AlphaZ/public_html/wiki/feed.php on line 292
Warning: Undefined array key "media" in /s/chopin/h/proj/AlphaZ/public_html/wiki/feed.php on line 397 AlphaZ
https://www.cs.colostate.edu/AlphaZ/wiki/
2026-04-21T05:03:39+00:00AlphaZ
https://www.cs.colostate.edu/AlphaZ/wiki/
https://www.cs.colostate.edu/AlphaZ/wiki/lib/tpl/dokuwiki/images/favicon.icotext/html2024-09-26T07:56:31+00:00sanjay (sanjay@undisclosed.example.com)tutorial_forward_substitution - [How to check more thoroughly]
https://www.cs.colostate.edu/AlphaZ/wiki/doku.php?id=tutorial_forward_substitution&rev=1727358991&do=diff
Getting started with Alpha and AlphaZ
Alpha is a polyhedral equational language, and AlphaZ is its “IDE:” tools to read, write, edit, and analyze Alpha Programs, and also to compile them to executable code.
Your first Alpha program (not hello world)text/html2019-03-26T13:09:39+00:00steveko (steveko@undisclosed.example.com)melange:schedule:gtc2019.pptx - created
https://www.cs.colostate.edu/AlphaZ/wiki/doku.php?image=melange%3Aschedule%3Agtc2019.pptx&ns=melange%3Aschedule&rev=1553627379&tab_details=history&mediado=diff&do=media