The Turing programming language: design and definition
The Turing programming language: design and definition
Computer Languages
An Introduction to S/SL: Syntax/Semantic Language
ACM Transactions on Programming Languages and Systems (TOPLAS)
SP/k: a system for teaching computer programming
Communications of the ACM
Hi-index | 0.00 |
S/SL is a compiler-writing tool that was designed in the late 70's at the University of Toronto. For a time, it was actively developed and enhanced within the IBM Toronto Lab. Widespread interest in the tool within IBM disappeared in the late 80's, and other tools became more prevalent.In 1991, when we began a new COBOL compiler, ILE COBOL/400 [1], we chose to resurrect the S/SL technology, and have used S/SL as the parsing engine for our new compiler.In this paper, we discuss our experience with this technology and why we chose S/SL over other available tools. We present our high-level compiler architecture which, while traditional, is not traditional for S/SL. We gather together a collection of ideas and practices for the use of S/SL, and draw conclusions about the overall quality of this tool.