R for Semantics

DOI10.1145/357162.357170zbMath0478.68083OpenAlexW2085859074MaRDI QIDQ3936221

William W. Wadge, E. A. Ashcroft

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

operational semanticsdenotational semanticssemantics of programming languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

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

This page was built for publication: R for Semantics