Items where authors include "Dodds, Mike"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Article | Proceedings Paper
Number of items: 3.

Article

Dodds, Mike orcid.org/0000-0002-4439-0130, Batty, Mark and Gotsman, Alexey (2014) C/C++ Cycles Confound Compositionality. Tiny Transactions on Computer Science.

Proceedings Paper

Dodds, Mike orcid.org/0000-0002-4439-0130, Haas, Andreas and Kirsch, Christoph M. (2015) A Scalable, Correct Time-stamped Stack. In: Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. UNSPECIFIED. ACM .

Poskitt, Chris, Dodds, Mike orcid.org/0000-0002-4439-0130, Paige, Richard Freeman orcid.org/0000-0002-1978-9852 et al. (1 more author) (2014) Towards Rigorously Faking Bidirectional Model Transformations. In: Dingel, Juergen, de Lara, Juan, Lucio, Levi and Vangheluwe, Hans, (eds.) AMT 2014 - Analysis of Model Transformations Workshop Proceedings. ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 28 Sep - 03 Oct 2014. CEUR Workshop Proceedings . CEUR Workshop Proceedings , ESP , pp. 70-75.

This list was generated on Sat Apr 13 13:48:34 2024 BST.