Raimund Kirner, Frank Penczek, Alexander V. Shafarenko. Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination. In Umut A. Acar, Vítor Santos Costa, editors, Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. pages 51-54, ACM, 2012. [doi]
Abstract is missing.