Mark Longley

According to our database, Mark Longley authored at least 4 papers between 1989 and 2001.

Collaborative distances:

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

2001

Transacted Memory for Smart Cards.

Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1991

Functional programming applications.

Mark Longley

PhD thesis, 1991

1990

Specification and Verification Using Dependent Types.

F. Keith Hanna, Neil Daeche, Mark Longley

IEEE Trans. Software Eng., 1990

1989

Veritas⁺: A Specification Language Based on Type Theory.

F. Keith Hanna, Neil Daeche, Mark Longley

Proceedings of the Hardware Specification, 1989