H ? « ‹ ← → › »

Language peer sets for SAL:
United Kingdom↑
United Kingdom/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Specialised Languages ↑
Specialised Languages/1990↑
Specialised Languages/uk ↑

SAL(ID:5363/sal005)

SPARK Annotation Language 

alternate simple view
Country: United Kingdom
Designed 1990
Published: 1990
Sammet category: Specialised Languages

for SPARK Annotation Language.

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

Related languages
SPARK → SAL   Augmentation of
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder