H ? « ‹ ← → › »

Language peer sets for Low-Ada:

Low-Ada(ID:2191/low001)

alternate simple view

An intermediate language for Ada, intended for formal verification. Just a comcept, not yet fully defined or implemented. "Low- Ada: an Ada Validation Tool", B.A. Wichmann, Ada User 11(1): pp.27-32.
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder