SPARK Annotation Languagecomputing dictionary

<programming language>

(SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.

(01 Mar 1994)

sparing action, sparing phenomenon, SPARK, spark < Prev | Next > sparkle, sparkler, SPARKS, sparling

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums