Leighton Brough

According to our database, Leighton Brough authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2015

Denotational trace: a category-theoretic solution to the practical problems of software execution tracing

Leighton Brough

PhD thesis, 2015

2014

From Computer Science to Software Engineering - A Programming-level Perspective.

Paul A. Bailes, Leighton Brough, Colin J. M. Kemp

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014

2012

Making sense of recursion patterns.

Paul A. Bailes, Leighton Brough

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012