Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.

Raimund Kirner, Frank Penczek, Alexander V. Shafarenko

Browse the full POPL paper archive.