[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: PlusCal resources?

Popping again the same repeating question, once every two years :) Have anyone found (or wrote?) or knows a formal definition document of the TLA+ syntax, semantics, grammar ?
I am looking for something which is ASCII-text-searchable e.g. I want to know what is the meaning and usage of '\subseteq' operator?

ב-יום שלישי, 14 בספטמבר 2021 בשעה 20:56:40 UTC+3, Andrew Helwer כתב/ה:
Where can I find language standard documents and other things relating to PlusCal? I don't mean tutorials, I mean something like a BNF grammar and semantics similar to chapters 15-17 of Specifying Systems or stuff found on this site: http://lamport.azurewebsites.net/tla/tla2.html


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2afb76e8-ce4f-4ce6-9710-916cb93fff67n%40googlegroups.com.