Travelled to:1 × USA
2 × Canada
Collaborated with:L.Sterling A.Jain L.J.White V.Narayanswamy T.Friedman P.Piwowarski M.Oha
Talks about:test (2) structur (1) behavior (1) similar (1) reusabl (1) regress (1) program (1) correct (1) toward (1) prolog (1)
Person: Marc Kirschenbaum
DBLP: Kirschenbaum:Marc
Contributed to:
1995
1993
1993Wrote 3 papers:
- SEKE-1995-JainSK #behaviour #reuse #towards #usability
- Towards Reusability Based Upon Similar Computational Behavior (AJ, LS, MK), pp. 197–203.
- CSM-1993-WhiteNFKPO #testing
- Test Manager: A Regression Testing Tool (LJW, VN, TF, MK, PP, MO), pp. 338–347.
- ILPS-1993-KirschenbaumS #prolog #proving #source code
- Enhancement Structures for Proving Prolog Programs Correct (MK, LS), p. 631.