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

Re: [tlaplus] tla+ to pluscal?

From: Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Thu, 11 Oct 2018 08:50:26 -0700
References: <1cc659bc-9bda-4d4d-9cb3-f0f4884842b9@googlegroups.com>

On 11.10.2018 04:13, anjana....@xxxxxxxxx wrote:
> I'm completely new to tla+.Is there are any way to convert tla spec in to pluscal? This would make it easier for programmers to understand a spec.

Hi Anjana,

transpilation from TLA+ to PlusCal doesn't exit, only the other way around.

Thanks
Markus

References:
- tla+ to pluscal?
  - From: anjana . . . .

Prev by Date: tla+ to pluscal?
Next by Date: Question about how tla+ can do and how it works
Previous by thread: tla+ to pluscal?
Next by thread: Question about how tla+ can do and how it works
Index(es):
- Date
- Thread