Formal (or not!) Grammar or Backus-Naur Form?

[russ-travix]

Hi Angelo,

I'm so happy to have found your VCF Berlin talk on B, I'd been looking for something more concrete than the minimum I could find on Rosetta Code!
Thank you so much for your talk and your work, it's hugely appreciated.

Do you have, or is it even worth having, a formal Grammar for B?

Thanks again and, Ich Wunsch dir en Frohe Weihnachten!
-Rune Stephenson.

[aap]

Whoops sorry for late reply. There is a grammar given here https://www.bell-labs.com/usr/dmr/www/kbman.pdf but the language evolved a bit over time.

cheers

[russ-travix]

No problems what so ever, I'm just so very grateful that you've spent time on this language at all! It's more than I'd hoped for and I have to admit, it's a language that's always intrigued/appealed to me!

I very much hope I get to show you some of my experimental this year!

[russ-travix]

I know you referred to some DEC tape reels that were really useful in rebuilding the Interpreter and so forth.
I wonder if those archives might contain the B source code for the early versions of YACC?