Travelled to:1 × Sweden
1 × The Netherlands
Collaborated with:F.Tip ∅ D.Naidich J.A.Bergstra J.Field J.Heering
Talks about:misdemeanor (1) transform (1) procedur (1) approach (1) toolkit (1) specifi (1) complet (1) inject (1) induct (1) compil (1)
Person: T. B. Dinesh
DBLP: Dinesh:T=_B=
Facilitated 1 volumes:
EdContributed to:
1997
19961995Wrote 4 papers:
- ASF+SDF-1997-DineshT #approach #case study #fault
- A case study of a slicing-based approach for locating type errors (TBD, FT), p. 8.
- ESOP-1996-BergstraDFH #compilation #tool support
- A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.
- ASF+SDF-1995-Dinesh #injection
- Injection Misdemeanors (TBD), pp. 255–270.
- ASF+SDF-1995-NaidichD #asf+sdf #automation #induction #proving #specification
- Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.