| Reasoning About Programs: CAL Tool |
| HOME | MANUAL | ABOUT | LINKS | DOWNLOAD | CONTACT |
About The Project Motivation This project is an attempt to improve upon the shortfalls of the SPARK as a demonstration tool for the course CS1112: Reasoning About Programs. Adding a Point-and-Click Interface, using a C like syntax for the language, producing some English explanation of the hoisting process and providing an interactive and dynamic demonstration. Progress Log Currently - Download Now Available. See Downloads Section. Currently - Expanding Parser to receive more general assignments with multiple variables. 18.02.05 - Testing the program with simple examples, download available soon. 01.02.05 - Website Launched 09.12.04 - Simple English Explanations Generated 05.12.04 - Basic runthrough with simple assignments 02.12.04 - Loading/Saving Examples Implemented 27.11.04 - Simple Menu Functions Added 24.11.04 - Top Menu Added 18.11.04 - Basic Button Functionality Added 12.11.04 - Interface implemented |