Methods of definition of programming language semantics. (Review)
From MaRDI portal
Publication:1132555
zbMath0419.68018MaRDI QIDQ1132555
Publication date: 1978
Published in: Programming and Computer Software (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (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)
