How to spell Spin and Promela

jllang · 2021-05-12 09:23:54

I read from somehwere that Spin stands for Simple Promela Interpreter. Promela stands for Process Meta Language. Should I write these names with all capitals or with just a capitalized initial letter (or perhaps even with small capitals)?

spinroot · 2021-05-12 17:55:34

Small capitals is common, but the tool and language are so well known now that many just capitalize only the first letter.

jllang · 2021-05-13 11:56:58

Thanks!

Spinroot

#1 2021-05-12 09:23:54

How to spell Spin and Promela

#2 2021-05-12 17:55:34

Re: How to spell Spin and Promela

#3 2021-05-13 11:56:58

Re: How to spell Spin and Promela

Board footer