The following pages link to R for Semantics (Q3936221):
Displaying 5 items.
- An axiomatic treatment of SIMD assignment (Q583875) (← links)
- A set-theoretic semantics for Clear (Q791329) (← links)
- SIMD language design using prescriptive semantics (Q1110309) (← links)
- Semantics for data parallel computation (Q1186098) (← links)
- A domain-theoretic approach to functional and logic programming (Q4764614) (← links)