Re: [tlaplus] TLA+ Reuse?

[Leandro Ostera <leandro@xxxxxxxxx>]

I don’t write TLA+ for a living, and I may be wrong here, but I’ll poorly quote Ron Pressler telling me that I need to stop thinking like a programmer and start thinking like a mathematician.

You don’t need reuse when you have abstraction.

You don’t need to compose your specifications into a larger whole.

That seems to be what I picked up from the few specs I’ve written, and all the reading I’ve done on this mailing list.

On Tue, 26 Jan 2021 at 00:27, Scott Lewis <scottslewis@xxxxxxxxx> wrote:

Greetings,

I'm brand new to TLA+ so please forgive the newbie question:

Other than examples, is it possible to structure specifications/models/modules/functions so that they can be easily reused by others?  Are there any best practices and/or tooling for sharing such efforts?

Thanksinadvance,

Scott

--
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/c3f77a84-1a2f-48c4-8f6c-41ab79e94d9bn%40googlegroups.com.

--

/ Leandro

-- 
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/CAH2TZMgi6r41ZPnwdSmTan5qoVuBuJrBpJ%3D4zLL7zurT5Wekww%40mail.gmail.com.