H ? « ‹ ← → › »

Language peer sets for MALPAS IL:
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

MALPAS IL(ID:1736/mal005)

alternate simple view
Designed 1993
Published: 1993

TA Consultancy Services.

A strongly typed, block-structured intermediate language intended for static analysis and verification. Translators exist for Ada, C, Pascal, Fortran 77, Coral 66 and several assembly languages.
References:
  • Ward (1993) Ward, N.J. "Code Verification with the Aid of MALPAS", Proc IEE Colloq of High Integrity Ada (Jan 1993)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder