R for Semantics

DOI10.1145/357162.357170MaRDI QIDQ3936221zbMATH OpenOpenAlexFDO

Authors E. A. Ashcroft, W. W. Wadge

Publication date 1982

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357162.357170

zbMATH Keywords

denotational semanticsoperational semanticssemantics of programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(5)

• SIMD language design using prescriptive semantics
• Semantics for data parallel computation
• A domain-theoretic approach to functional and logic programming
• An axiomatic treatment of SIMD assignment
• A set-theoretic semantics for Clear

This page was built for publication: R for Semantics

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