Data-flow testing of declarative programs
No abstract available.
Related papers
- Asynchronous programming, analysis and testing with state machines PLDI 2015
- Herding cats: modelling, simulation, testing, and data-mining for weak memory PLDI 2014
- Automatic Data Structure Selection in SETL POPL 1979
- Lustre: A Declarative Language for Programming Synchronous Systems POPL 1987
- An Automatic Technique for Selection of Data Structures in SETL Programs TOPLAS 1981
- JavaCOP: Declarative pluggable types for java TOPLAS 2010
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAV 2023
- VarSem: declarative expression and automated inference of variable usage semantics GPCE 2020