开云体育

BCPL request

Stefan A. Haubenthal All Messages By This Member #6425 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
Dave Wade All Messages By This Member #6426 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 ?
Stefan A. Haubenthal All Messages By This Member #6428 I see. So far these posts are not CMS specific: and . ? -- VM/370 CE V1R1.2, Hercules on macOS
Dave Wade All Messages By This Member #6429 开云体育 Yes, but how do they help? ? Dave ? toggle quoted message Show quoted text From: [email protected] <[email protected]> On Behalf Of Stefan Haubenthal via groups.io Sent: 28 February 2025 09:59 To: [email protected] Subject: Re: [h390-vm] BCPL request ? I see. So far these posts are not CMS specific: and . ? -- VM/370 CE V1R1.2, Hercules on macOS

Previous Topic Next Topic