Sharon Flynn

According to our database¹, Sharon Flynn authored at least 3 papers between 1994 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

On Formal Specification of Software Components and Systems.

[BibT_eX]

[DOI]

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

1996

A refinement calculus for expressions.

[BibT_eX]

[DOI]

PhD thesis, 1996

1994

Expression Refinement: Deriving Bresenham's Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994