Axioms for user-defined operators

DOI10.1002/SPE.4380100406zbMath0429.68017OpenAlexW2097586267MaRDI QIDQ3867151

I. C. Pyle

Publication date: 1980

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

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

zbMATH Keywords

programming languagesDoD language Adauser-defined operator symbols

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Semantics of algorithmic languages

Cites Work

• Some ideas on data types in high-level languages

This page was built for publication: Axioms for user-defined operators