Denotational semantics of mixed computation processes for a structural programming language

DOI10.1007/BF01069522MaRDI QIDQ3034846zbMATH OpenFDO

Authors N. T. Zakharova, V. A. Petrushin, E. L. Yushchenko

Publication date 1988

Published in Cybernetics (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsmixed computation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Computational adequacy via ‘mixed’ inductive definitions
• Denotational semantics of program schemas for languages for communicating sequential processes
• scientific article; zbMATH DE number 4018355
• scientific article; zbMATH DE number 3854393
• scientific article; zbMATH DE number 4045109

Cites work

• scientific article; zbMATH DE number 3733254 (Why is no real title available?)
• scientific article; zbMATH DE number 3735102 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 3562458 (Why is no real title available?)
• scientific article; zbMATH DE number 3578324 (Why is no real title available?)
• Methods of definition of programming language semantics. (Review)

Cited in

(5)

• Denotational semantics of a para-functional programming language
• A denotational semantics for SPARC TSO
• scientific article; zbMATH DE number 1231480 (Why is no real title available?)
• scientific article; zbMATH DE number 4009792 (Why is no real title available?)
• scientific article; zbMATH DE number 4018355 (Why is no real title available?)

This page was built for publication: Denotational semantics of mixed computation processes for a structural programming language

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