Comment on C*: Unifying Programming and Verification in C (2025)parentComments−dymk3dThat C* uses .cs, but nobody is complaining about C# using that extensionThat C* was released in 1993Who actually cares about the name collision?−kazinator3dCount me among those who would care about that enough to be completely dissuaded from naming a new language C*.
Comments
That C* uses .cs, but nobody is complaining about C# using that extension
That C* was released in 1993
Who actually cares about the name collision?
Count me among those who would care about that enough to be completely dissuaded from naming a new language C*.