A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Input/Output for ELAN
1996
Electronical Notes in Theoretical Computer Science
We show h o w to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speci cation of -calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the e ectiveness of this approach.
doi:10.1016/s1571-0661(04)00033-7
fatcat:56llq52e6ffsnekvlxybh4xeei