Conway, Richard W.Constable, Robert L.2007-04-232007-04-231976-11http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR76-293https://hdl.handle.net/1813/7436PL/CS is an instructional dialect of PL/I. It is defined by selection features of PL/I, and then restricting the manner in which those features can be used. The implementation is an error-repairing compiler based on PL/C, in which error-repair is carried to the point where a user is deliberately encouraged to use an abbreviated entry syntax and rely on the compiler to expand this to produce a complete, PL/I-compatible program. PL/CS also includes an "assertion" facility that can be used either as a conventional diagnostic tool, or as the basis of a formal proof of correctness in a logical system provided within the language.1313925 bytes700225 bytesapplication/pdfapplication/postscripten-UScomputer sciencetechnical reporttechnical report