[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Are there any tools to convert ASTs in JSON / XML / S-expressions / etc. formats to TLA+?
I'm writing a compiler from a language based on System F (enhanced with imperative constructions) into TLA+
and would like to know my options except generating target code in the form of `.tla` files.
I have TLA-like target AST and would like to serialize it using a common exchange format that could be processed
by an existing converter into TLA+.
The compiler is being written in OCaml because I have all the tooling for the source language written in OCaml.
Any suggestions are welcome!
Thank you in advance,
PS x-posted on Reddit: https://www.reddit.com/r/tlaplus/comments/fwniyc/does_tla_have_tools_to_process_inputs_in_the_json/
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/95a2dd28-7381-4e61-9534-1ce3c926f5bb%40googlegroups.com.