Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.
Raimund KirnerFrank PenczekAlexander V. ShafarenkoPublished in: DAMP (2012)
Keyphrases
- programming language
- declarative language
- formal language
- language learning
- data manipulation language
- high level
- oriented programming
- programs written
- code generation
- specification language
- linear constraints
- modeling language
- multiagent systems
- general purpose
- knowledge representation
- cooperative
- information sharing
- hardware and software
- computer systems
- source code
- aggregation functions
- constraint language
- relational databases
- multi agent systems
- natural language