Collaborative Constraint Functional Logic Programming in an Open Environment
No abstract available.
Related papers
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems POPL 2017
- Static Typing of Complex Presence Constraints in Interfaces ECOOP 2018
- InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration OOPSLA 2026
- BuddyCache: high-performance object storage for collaborative strong-consistency applications in a WAN OOPSLA 2002
- Software development environments on the web: a research agenda Onward! 2012
- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit TACAS 2023
- CLAM - an Open System for Graphical User Interfaces OOPSLA 1987
- Temporal Stream Logic: Synthesis Beyond the Bools CAV 2019