User:Hibou57: Difference between revisions
Content added Content deleted
No edit summary |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 13: | Line 13: | ||
Hibou57 is my false unreal name. Someones told me this use to be Yannick Duchêne... this may be true, who-know. |
Hibou57 is my false unreal name. Someones told me this use to be Yannick Duchêne... this may be true, who-know. |
||
= |
=SPARK’s name casing= |
||
About the casing of SPARK : seems it should be written uppercase. At least it is the way it is written in [http://www.praxis-his.com/spark.aspx| Praxis's documentation], which is actually responsible of the maintenance of this language. |
About the casing of SPARK : seems it should be written uppercase. At least it is the way it is written in [http://www.praxis-his.com/spark.aspx| Praxis's documentation], which is actually responsible of the maintenance of this language. |
||
=SPARK is not SPARC= |
=SPARK is not SPARC= |
||
A word to avoid confusion: as recalled by Praxis, SPARK, with a K, has nothing to deals with SPARC, with a C. These are two different things. |
A word to avoid confusion: as recalled by Praxis, SPARK, with a K, has nothing to deals with SPARC, with a C. These are two different things. |
||
=SPARK specificities= |
|||
SPARK has some specificities and does not only relies on assertions for proofs. For further details, see [[SPARK_Proof_Process|the SPARK Proof Process]]. |
|||
Latest revision as of 20:58, 26 August 2010
Hi
| My Favorite Languages | |
| Language | Proficiency |
| Ada | Familiar |
| C | Humpfff |
| JavaScript | Familiar |
| Pascal | Familiar |
| SPARK | Beginner |
| Python | Beginner |
False unreal name
Hibou57 is my false unreal name. Someones told me this use to be Yannick Duchêne... this may be true, who-know.
SPARK’s name casing
About the casing of SPARK : seems it should be written uppercase. At least it is the way it is written in Praxis's documentation, which is actually responsible of the maintenance of this language.
SPARK is not SPARC
A word to avoid confusion: as recalled by Praxis, SPARK, with a K, has nothing to deals with SPARC, with a C. These are two different things.
SPARK specificities
SPARK has some specificities and does not only relies on assertions for proofs. For further details, see the SPARK Proof Process.