Base-type languages: Program design by upper semantic approximation

DOI10.1007/BF02366570zbMath0836.68011OpenAlexW2041161709MaRDI QIDQ1905185

A. N. Prikhod'ko

Publication date: 8 January 1996

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02366570

zbMATH Keywords

upper semantic approximation

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Semantic Correctness for a Parallel Object-Oriented Language
• The specification statement

This page was built for publication: Base-type languages: Program design by upper semantic approximation