[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?

Thank you.