Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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 , pp. 70-75.

This list was generated on Sun Aug 18 23:07:50 2019 BST.