Maude I/O
In my continued experiments with Maude I have been investigating its I/O system and, more generally, how to integrate Maude with other systems and extend its built-in capabilities.
Libraries are arguably Maude’s weakest point. The standard libraries are very rudimentary. Furthermore, there is no FFI, so there is no easy way to hook in third party libraries. As we shall see, this is actually less of a problem than it may seem.
Continue Reading Add comment June 11th, 2006 matthias