Playing with TOY: Constraints and Domain Cooperation
No abstract available.
Related papers
- An interval constraint system for lattice domains TOPLAS 2004
- Tᴏᴏʟ: accessible automated reasoning for human robot collaboration Onward! 2018
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- Competitive parallelism: getting your priorities right ICFP 2018
- Experience report: playing the DSL card ICFP 2008
- Cooperative Specification via Composition Control SLE 2024
- Constraint Patterns As a Basis for Object-Oriented Programming OOPSLA 1992
- Fulls Seldom Differ ICFP 2025