Soft Concurrent Constraint Programming
Abstract elided by the publisher.
Related papers
- Soft Typing with Conditional Types POPL 1994
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation CAV 2022
- The Development of Erlang ICFP 1997
- FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue PPoPP 2008
- A lambda-calculus foundation for universal probabilistic programming ICFP 2016
- Garbage-first garbage collection ISMM 2004
- Soft Scheduling for Hardware SAS 2001
- Abstracting Concolic Execution for Soft Contract Verification SAS 2025