search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Non-backslash keyword #17

Open vprevosto opened 7 years ago

vprevosto commented 7 years ago

In the introduction, it is said that all ACSL keywords that are valid C identifiers and can occur as terms are preceded by a backslash to avoir conflicts with pre-existing C identifiers. There is a particular case for integer, real, and boolean, which do not begin with a backslash, but can be replaced by their UTF-8 counter-part if needed.

pbaudin commented 6 years ago

There is a similar issue between C labels and ACSL labels: Pre, Here, ..