W. David Elliott - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

1980

On proving the absence of execution errorsW. David Elliott. PhD thesis, University of Toronto, Canada, 1980. [doi]

1978

Euclid and ModulaDavid T. Barnard, W. David Elliott, David H. Thompson. SIGPLAN, 13(3):70-84, 1978. [doi]

Abstract data types in EuclidErnest Chang, Neil Kaden, W. David Elliott. SIGPLAN, 13(3):34-42, 1978. [doi]

Index to the Euclid reportW. David Elliott. SIGPLAN, 13(3):85-89, 1978. [doi]

1975

On the need for fewer restrictions in changing compile-time environmentsDavid Lorge Parnas, John E. Shore, W. David Elliott. SIGPLAN, 10(5):29-36, 1975. [doi]

Sign in or sign up to see more results.

runs on WebDSL