Ada with maps(ID:8257/)

Hilfinger's extensions to Ada to permit rational exploitation of arrays, featuring mapped regions etc. Led eventually to FIDIL and Titantium

PhD Thesis was published by MIT in its distinguished theses series


Related languages
Ada => Ada with maps   Extension to
Ada with maps => FIDIL   Evolution of aspects
References:
  • Hilfinger, Paul N. "Abstraction Mechanisms and Language Design", MIT Press, 1983. view details