Stem ddt$ (all stems)
2 papers:
- FLOPS-2004-CaballeroR #debugging #declarative #functional #named
- DDT: a Declarative Debugging Tool for Functional-Logic Languages (RC, MRA), pp. 70–84.
- SIGMOD-1994-FlokstraKS #database #design #specification
- The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language (JF, MvK, JS), p. 506.