Axiomatics for Data Refinement in Call by Value Programming Languages

J Power, M Tanaka

Research output: Contribution to journalArticlepeer-review

160 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Axiomatics for Data Refinement in Call by Value Programming Languages'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science