Turing Plus: a comparison with C and Pascal
Stephen Perelgut, James R. Cordy · ACM SIGPLAN Notices · 1988
It is desirable to do systems programming in a high-level language. C is attractive since it yields efficient machine code without placing many restrictions on the programmer. This lack of restrictions and language-supported checking, however, can make C code unreadable and unmaintainable. Pascal is attractive since it provides strong type checking in a relatively elegant package but Pascal compilers don't produce efficient code. Turing Plus offers the advantages of both these languages, including efficient machine code and strong type checking. It also has a number of other features that make it a very attractive alternative. For example, Turing Plus offers controlled access to machine-dependencies, type checked separate compilation, linkage to external routines, language-specified concurrency and exception handling. Portable compilers with replaceable code generators (allowing easy access to cross-compilation) are available and a Turing Plus to C translator is under construction to allow fast portability to all systems supporting C compilers.