| Types |
| Concrete Syntax |
| Constants |
| Mathematical Functions |
| standard_prelude.fsh |
| Shell Actions |
| Modifications |
| Known Bugs |
Benchmarks |
Known Bugs
The "let rec" does not handle proper array parameters correctly, due to problems with the translation to C. Stick to datum parameters for now.
Page Last Updated:
Main |
Personal Details |
Research Interests |
Research Publications
FISh |
SDCS |
Site Map
Please feel free to send any comments.
Copyright Barry Jay © 1998
