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

[tlaplus] Re: Reusing Specs



Hi Rodrigo,

It sounds like you are doing exactly what I advised.  I never said not
to reuse specs that have already been written.  It's rare that one can
reuse an existing spec without modifying it; I'm delighted that you
were able to do that with my Voting spec.  Perhaps that will become
more common when more algorithm designers write precise specifications
of their algorithms.

A spec is written for a purpose, and a good spec is one that serves
its purpose well.  It appears that the purpose of your spec required
certain modules to be reused for describing a particular class of
algorithms.  And you understood that, as I wrote, copy/paste/modify is
a fine way of reusing a module.

What I tried to say in my note is that, when writing a spec, one
shouldn't worry about whether the spec might be used again for some
unknown purpose.

Leslie


--
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 post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/1fb4f1e4-372a-4e14-afdc-2e1844d20690%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.