A Reduction Specification for DTL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jane W. Hughes, Malcolm S. Powell. A Reduction Specification for DTL. In Jørgen Staunstrup, editor, Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Volume 134 of Lecture Notes in Computer Science, pages 255-267, Springer, 1981.

This author has not been identified. Look up 'Jane W. Hughes' in GoogleThis author has not been identified. Look up 'Malcolm S. Powell' in Google

runs on WebDSL