BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dinesh:T=_B=

Facilitated 1 volumes:

ASF+SDF 1995Ed

Contributed to:

ASF+SDF 19971997
ESOP 19961996
ASF+SDF 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.