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

alternative spec. langs compiling to TLA+

From: jhou...@xxxxxxxxx
Date: Sun, 14 Feb 2016 05:32:33 -0800 (PST)

Greetings, 

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.

Follow-Ups:
- Re: alternative spec. langs compiling to TLA+
  - From: fl
- Re: [tlaplus] alternative spec. langs compiling to TLA+
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] Correctness of refinement mapping
Next by Date: Re: [tlaplus] alternative spec. langs compiling to TLA+
Previous by thread: Re: [tlaplus] Correctness of refinement mapping
Next by thread: Re: [tlaplus] alternative spec. langs compiling to TLA+
Index(es):
- Date
- Thread