Denotational semantics of mixed computation processes for a structural programming language

DOI10.1007/BF01069522zbMATH Open0692.68061MaRDI QIDQ3034846FDOQ3034846

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

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

denotational semanticsmixed computation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Methods of definition of programming language semantics. (Review)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• A denotational semantics for SPARC TSO
• Title not available (Why is that?)
• Title not available (Why is that?)
• Denotational semantics of a para-functional programming language

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)