programming language designed to be simultaneously a low-level and a high-level language, designed to support a programming methodology based on program refinement