An Executable Impredicative Semantics for the Ada Configuration

A. Bucci, Paola Inverardi, Simone Martini. An Executable Impredicative Semantics for the Ada Configuration. Formal Asp. Comput., 5(2):91-120, 1993.

Abstract

Abstract is missing.