An axiomatic treatment ofSIMD assignment
- 1 March 1990
- journal article
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 30 (1) , 70-82
- https://doi.org/10.1007/bf01932133
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Simd language design using prescriptive semanticsBIT Numerical Mathematics, 1988
- R for SemanticsACM Transactions on Programming Languages and Systems, 1982
- The Science of ProgrammingPublished by Springer Nature ,1981
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- An axiomatic definition of the programming language PASCALActa Informatica, 1973