On Thu, Feb 27, 2025 at 03:46 PM, Stefan Haubenthal wrote:
says
"... [Martin Richards] was on a sabbatical at IBM Research in the early '70s, and I succeeded him in being the 'keeper of the keys' for his port of BCPL to VM/CMS. He had left everything in perfect order for me to take over. I continued to use this BCPL until I left IBM in 1993 (20 years, pretty good record for durability).
I built a theorem prover (for Effigy [symbolic execution] headed by Jim King) in a personally modified BCPL. ..." []
--
VM/370 CE V1R1.2, Hercules on macOS
?
Never seen BCPL on VM/CMS. Can't find any downloads. Martin Richards still has a web page but no VM/CMS version on there...
I think you might be on your own...
?
Dave
?
