[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
alternative spec. langs compiling to TLA+
I am trying to find a precise definition of the TLA+ language. Motivation is to explore a more accessible front-end that do not remind of LaTex scripts. (I am aware of PlusCal.)
Does TLA+ have a formal definition that an alternative front-end can target?
Is there a fundamental reason (non apparent to newbs such as my self) that these spec. languages have their current embodiment?