Joylyn Reed

Publication Activity (10 Years)

Years Active: 1984-1988
Publications (10 Years): 0

Publications

Joylyn Reed, Raymond T. Yeh
Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. ACM Trans. Program. Lang. Syst. 10 (1) (1988)
Joylyn Reed
Semantics-Based Tools for a Specification-Support Environment. MFPS (1987)
Joylyn Reed
A parser for a small Ada-like language - a student software engineering project. SIGCSE (1985)
Raymond T. Yeh, Roland T. Mittermeir, Nick Roussopoulos, Joylyn Reed
A Programming Environment Framework Based on Reusability. ICDE (1984)