introduction to the #Maude prover, which uses #tree-rewriting. #formal-methods #toread
on 02024-08-25#Tutorial for the "Modal" #tree-rewriting language
on 02024-08-25a #text-adventure in the #Modal #tree-rewriting language
on 02024-08-25Arithmetic in #tree-rewriting for #Modal.
on 02024-08-25“#MarkovJunior is a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation.” #tree-rewriting and 2-D and 3-D grid rewriting, for example for game level design. By Maxim #Gumin.
on 02024-08-25#PDF of #Wouter van Oortmerssen’s dissertation on the #Aardappel concurrent tuple-space #tree-rewriting programming language
on 02024-08-25#Wouter van Oortmerssen’s #tree-rewriting language #Aardappel
on 02024-08-25#Wouter van Oortmerssen’s language "Aardappel", a concurrent tuple-space #tree-rewriting system with data examples as variable names
on 02024-08-25