Composition program-structures in a class of languages

zbMath0544.68013MaRDI QIDQ796977

G. Yu. Grebeshkova

Publication date: 1983

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

programming languagesprogram algebracomposition programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication: Composition program-structures in a class of languages