Stem abcd$ (all stems)
2 papers:
- DAC-2013-KarthikR #approximate #linear #modelling #named #using
- ABCD-L: approximating continuous linear systems using boolean models (KVA, JSR), p. 9.
- PLDI-2000-BodikGS #array #bound #named
- ABCD: eliminating array bounds checks on demand (RB, RG, VS), pp. 321–333.