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

[tlaplus] Re: TLA+ and Program Snippets

I understand I may have asked a stupid question in my previous email, but any help would be appreciated. If Java snippets in TLA+ or PlusCal are not plausible or useless, then please help me understand how to define and manipulate complex data structures (for example, multi-dimensional arrays of structs) in either TLA+ or PlusCal.


Regards,
Amirhosein Sayyadabdi


On Wed, Oct 11, 2023 at 6:15 AM Amirhosein Sayyadabdi <amir.ahsa.2011@xxxxxxxxx> wrote:
Hello everyone,

I am searching for examples of tiny program snippets (for example; Java classes, loops, inheritance, recursive functions, etc.) in TLA+ or PlusCal. Do you know if there is any particular source I can refer to?

I really appreciate any help you can provide.


Amirhosein Sayyadabdi
University of Isfahan

--
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/CAKxfy0tNV5UnreVkoW8a1ms9n%2BbejK7RkmfgRj3Xbb3a3kk7eA%40mail.gmail.com.