Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] naming conventions

view this post on Zulip Email Gateway (Aug 19 2022 at 11:12):

From: Walther Neuper <wneuper@ist.tugraz.at>
On 05/23/2013 05:36 AM, Gottfried Barrow wrote:

So the word "programming", because it's been used for years, and has
accumulated many connotations, doesn't work.
:
To make a long story short, the word is "code".

Just saw another wording, "formalisation" in

https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2013-May/msg00078.html

For now I copied these into my formalisation. ...

"formalisation" is more specific and has a mathematical connotation,
which seems appropriate.

Walther

view this post on Zulip Email Gateway (Aug 19 2022 at 11:14):

From: Christian Sternagel <c.sternagel@gmail.com>
I had that in my list too ... just saying ;) - cheers chris

Last updated: Apr 19 2024 at 20:15 UTC