Methods of definition of programming language semantics. (Review)

MaRDI QIDQ1132555zbMATH OpenFDO

Authors S. S. Lavrov

Publication date 1978

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

zbMATH Keywords

denotational semanticsprogramming language semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Denotational semantics of mixed computation processes for a structural programming language
• Analysis and synthesis of structured parallel programs

This page was built for publication: Methods of definition of programming language semantics. (Review)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1132555)