Compilers must speak properties, not just code: CAL: Constraint aggregation language for declarative component-coordination
Kirner, R., Penczek, F. & Shafarenko, A.2012Conference Record of the Annual ACM Symposium on Principles of Programming Languages.p. 51-544 p.Research output: Chapter in Book/Report/Conference proceeding› Conference contribution
| Original language | English |
|---|---|
| Title of host publication | Conference Record of the Annual ACM Symposium on Principles of Programming Languages |
| Pages | 51-54 |
| Number of pages | 4 |
| DOIs | |
| State | Published - 2012 |
Conference
| Conference | 7th Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP'12, Co-located with POPL 2012 |
|---|---|
| Country | United States |
| City | Philadelphia, PA |
| Period | 28/01/12→ 28/01/12 |