tm: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -100 -60 +60 tip

updated according to comments from reviewers
2013-03-29, by Christian Urban
tunded
2013-03-27, by Christian Urban
adapted paper
2013-03-27, by Christian Urban
much simplified version of Recursive.thy
2013-03-27, by Christian Urban
tuned
2013-03-14, by Christian Urban
tuned scala examples
2013-03-14, by Christian Urban
tuned
2013-03-14, by Christian Urban
added an abacus to javabyte code compiler
2013-03-14, by Christian Urban
tuned
2013-03-14, by Christian Urban
added a stimes_ac lemma for Xingyuan
2013-03-14, by Christian Urban
better printing of register programs in Scala
2013-03-12, by Christian Urban
some peephole optimisations in the scala code
2013-03-10, by Christian Urban
updated
2013-03-08, by Christian Urban
updated
2013-03-08, by Christian Urban
tuned conclusion
2013-03-07, by Christian Urban
small typo in the paper
2013-03-07, by Christian Urban
added definition of termination for rec_exec
2013-03-07, by Christian Urban
added an function definition for eval.
2013-03-06, by Christian Urban
added a comment about deeply embedding of recursive functions
2013-03-06, by Christian Urban
added a version with partial_function
2013-03-05, by Christian Urban
partial_function test
2013-03-03, by Christian Urban
added factorial as an example
2013-03-03, by Christian Urban
tuned abacus to turing compilation
2013-03-03, by Christian Urban
finished compliations
2013-03-02, by Christian Urban
added examples for the rec to abacus compilation
2013-03-01, by Christian Urban
tuning
2013-03-01, by Christian Urban
added a test to make the simplifier be fast enough to do actual compilations
2013-03-01, by Christian Urban
corrected scala compiler from recs to abacus
2013-03-01, by Christian Urban
updated proofs in Recursive (by Jian)
2013-02-28, by Christian Urban
simplified slightly rec_compilation function
2013-02-28, by Christian Urban
added a coment about partial_function
2013-02-27, by Christian Urban
syntactic convenience for recursive functions
2013-02-26, by Christian Urban
added all recursive functions needed for the UF
2013-02-26, by Christian Urban
tuned
2013-02-26, by Christian Urban
tuned some files
2013-02-26, by Christian Urban
added an al
2013-02-26, by Christian Urban
corrected README
2013-02-25, by Christian Urban
tuned
2013-02-25, by Christian Urban
updated Scala files
2013-02-22, by Christian Urban
split up scala-file into separate components
2013-02-21, by Christian Urban
introduced sealed classes
2013-02-21, by Christian Urban
compilation from Abacus to Turing in Scala
2013-02-21, by Christian Urban
renamed sete definition to adjust and old special case of adjust to adjust0
2013-02-21, by Christian Urban
parts of the Abacus translation
2013-02-21, by Christian Urban
tuned Scala implementation
2013-02-21, by Christian Urban
polished some typos in the paper
2013-02-19, by Christian Urban
added link and comment to fourth edition of Boolos
2013-02-19, by Christian Urban
added clear-definition to paper
2013-02-19, by Christian Urban
added newer ROOT file
2013-02-19, by Christian Urban
updated exponent program
2013-02-18, by Christian Urban
tuned
2013-02-18, by Christian Urban
removed unnecessary examples from Abacus.thy
2013-02-18, by Christian Urban
added abacus machines
2013-02-18, by Christian Urban
tuned
2013-02-18, by Christian Urban
added some TM machines
2013-02-16, by Christian Urban
added abacus programs
2013-02-16, by Christian Urban
added scala file
2013-02-15, by Christian Urban
remove dead code in Abacus_mopup
2013-02-15, by Jian Xu
tuning
2013-02-15, by Christian Urban
split Mopup TM into a separate file
2013-02-15, by Christian Urban