Partially interpreted schemas for CSP programming

DOI10.1016/0167-6423(88)90013-5MaRDI QIDQ1095639zbMATH OpenOpenAlexFDO

Authors Orit Baruch, Shmuel Katz

Publication date 1988

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(88)90013-5

zbMATH Keywords

distributed computingcommunicationdomainsspecificationsfree variablescorrect programinstantiationsprogram sections

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• Schema-Guided Synthesis of Imperative Programs by Constraint Solving
• Denotational semantics of CSP
• On schematological equivalence of partially interpreted dataflow networks
• Communicating Sequential Processes. The First 25 Years
• An abstract formalization of correct schemas for program synthesis
• A logic for schema-based program development
• Combining partial evaluation and staged interpretation in the implementation of domain-specific languages
• scientific article; zbMATH DE number 1098496

Cited in

(1)

• scientific article; zbMATH DE number 3926229 (Why is no real title available?)

This page was built for publication: Partially interpreted schemas for CSP programming

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