Joylyn Reed

According to our database, Joylyn Reed authored at least 4 papers between 1984 and 1988.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1988

Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.

Joylyn Reed, Raymond T. Yeh

ACM Trans. Program. Lang. Syst., 1988

1987

Semantics-Based Tools for a Specification-Support Environment.

Joylyn Reed

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985

A parser for a small Ada-like language - a student software engineering project.

Joylyn Reed

Proceedings of the 16th SIGCSE Technical Symposium on Computer Science Education, 1985

1984

A Programming Environment Framework Based on Reusability.

Raymond T. Yeh, Roland T. Mittermeir, Nick Roussopoulos, Joylyn Reed

Proceedings of the First International Conference on Data Engineering, 1984