The IsalProgram Programming Language

In three linesIsalProgram is a regular assembly-like language where every finite string is a valid program. Executed on a virtual machine with circular doubly linked list, it eliminates memory addresses and variable names. Authors prove its regularity and explore its potential for neural program synthesis.

Summary generated by Claude — human-verified