A method of program transformation between variable sharing and message passing

DOI10.1002/SPE.4380150706MaRDI QIDQ3677144zbMATH OpenOpenAlexFDO

Authors Kiyoshi Ishihata, Teruo Hikita

Publication date 1985

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380150706

zbMATH Keywords

communicationdynamic sorting arraymessage passingmonitor transformationsprogram transformationsemaphoressynchronizationvariable sharing

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4106264
• scientific article; zbMATH DE number 1185933
• scientific article; zbMATH DE number 756078
• scientific article; zbMATH DE number 2079817
• On transformations of concurrent object programs

Cited in

(2)

• Design factors for parallel processing benchmarks
• scientific article; zbMATH DE number 1185933 (Why is no real title available?)

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: A method of program transformation between variable sharing and message passing

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