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.


Dodds, Mike, Batty, Mark and Gotsman, Alexey (2014) C/C++ Cycles Confound Compositionality. Tiny Transactions on Computer Science.

Proceedings Paper

Dodds, Mike, 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, Paige, Richard Freeman 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 Sun Jan 26 23:59:37 2020 GMT.