Axiomatics for Data Refinement in Call by Value Programming Languages

John Power, Miki Tanaka. Axiomatics for Data Refinement in Call by Value Programming Languages. Electronic Notes in Theoretical Computer Science, 225:281-302, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.