Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
Holmakefile
README.md
arrayGlobalStateProgScript.sml
arrayLocalStateProgScript.sml
exceptionArityTestProgScript.sml
exceptionProgScript.sml
fibProgScript.sml
floyd_warshallProgScript.sml
helloProgScript.sml
readmePrefix
refStateProgScript.sml
runProgScript.sml
testAssumScript.sml
testPrecondProgScript.sml
testRunScript.sml

README.md

This directory contains example applications of the monadic translator. These examples serve as test cases of the monadic translator.

arrayGlobalStateProgScript.sml: An example showing how to use the monadic translator with references, arrays and exceptions.

arrayLocalStateProgScript.sml: An example showing how to use the monadic translator with references, arrays and exceptions.

exceptionArityTestProgScript.sml: A test file for the support of exceptions

exceptionProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using exceptions (no references, no arrays).

fibProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using references (no arrays, no exceptions).

floyd_warshallProgScript.sml: Trying out the monadic translator

helloProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using IO primitives from the basis library.

refStateProgScript.sml: An example showing how to use the monadic translator to translate monadic functions using references (no arrays, no exceptions).

runProgScript.sml: An example of how to translate run

testAssumScript.sml: Test the monadic translator's handling of assumptions

testPrecondProgScript.sml: An example showing how to use the monadic translator with references, arrays and exceptions.

testRunScript.sml: An example showing how to use of m_transle_run