7 papers:
SLE-2013-ErdwegSVBBCGHKLKMPPSSSVVVWW #challenge #state of the art- The State of the Art in Language Workbenches — Conclusions from the Language Workbench Challenge (SE, TvdS, MV, MB, RB, WRC, AG, AH, SK, AL, GDPK, PJM, MP, RP, ES, KS, RS, VAV, EV, KvdV, GW, JvdW), pp. 197–217.
PPDP-2002-JonesG #analysis #generative #termination- Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis (NDJ, AJG), p. 1.
KDD-2000-HsuLLL #database #mining- Exploration mining in diabetic patients databases: findings and conclusions (WH, MLL, BL, TWL), pp. 430–436.
CL-2000-HarlandLW #logic #multi #proving- Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic (JH, TL, MW), pp. 254–268.
- ALP-1994-Miller #logic programming #multi #source code #specification #using
- Specifications Using Multiple-Conclusion Logic Programs (DM), pp. 3–4.
- PLILP-1994-Miller #logic programming #multi #source code #specification #using
- Specifications Using Multiple-Conclusion Logic Programs (DM), pp. 3–4.
LICS-1994-Miller #logic #multi- A Multiple-Conclusion Meta-Logic (DM), pp. 272–281.
