Text this: Symposium on semantics of algorithmic languages