| 2001 |
|---|
| 16 | EE | Frank Tip,
T. B. Dinesh:
A slicing-based approach for locating type errors.
ACM Trans. Softw. Eng. Methodol. 10(1): 5-55 (2001) |
| 2000 |
|---|
| 15 | | T. B. Dinesh,
Magne Haveraaen,
Jan Heering:
An algebraic programming style for numerical software and its optimization.
Scientific Programming 8(4): 247-259 (2000) |
| 1999 |
|---|
| 14 | EE | T. B. Dinesh,
Magne Haveraaen,
Jan Heering:
An Algebraic Programming Style for Numerical Software and its Optimization
CoRR cs.SE/9903002: (1999) |
| 1998 |
|---|
| 13 | EE | John Field,
Jan Heering,
T. B. Dinesh:
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.
ACM Comput. Surv. 30(3es): 2 (1998) |
| 1997 |
|---|
| 12 | | T. B. Dinesh,
Susan M. Üsküdarli:
Share-Where Maintenance in Visual Algebraic Specifications.
ASIAN 1997: 297-311 |
| 11 | EE | T. B. Dinesh,
Frank Tip:
A Slicing-Based Approach for Locating Type Errors.
DSL 1997 |
| 10 | | T. B. Dinesh,
Susan M. Üsküdarli:
Pretty-Printing of Visual Sentences.
VL 1997: 246-247 |
| 9 | EE | Jan A. Bergstra,
T. B. Dinesh,
John Field,
Jan Heering:
Toward a Complete Transformational Toolkit for Compilers.
ACM Trans. Program. Lang. Syst. 19(5): 639-684 (1997) |
| 1996 |
|---|
| 8 | | Jan A. Bergstra,
T. B. Dinesh,
John Field,
Jan Heering:
A Complete Transformational Toolkit for Compilers.
ESOP 1996: 92-107 |
| 7 | | Susan M. Üsküdarli,
T. B. Dinesh:
The VAS Formalism in VASE.
VL 1996: 140-147 |
| 1995 |
|---|
| 6 | EE | Susan M. Üsküdarli,
T. B. Dinesh:
Towards a Visual Programming Environment Generator for Algebraic Specifications.
VL 1995: 234-241 |
| 1993 |
|---|
| 5 | | Arie van Deursen,
T. B. Dinesh,
Emma van der Meulen:
The ASF+SDF Meta-environment.
AMAST 1993: 411-412 |
| 4 | | Arie van Deursen,
T. B. Dinesh:
Origin Tracking for Higher-Order Term Rewriting Systems.
HOA 1993: 76-95 |
| 3 | | T. B. Dinesh:
Type-Checking Revisited: Modular Error-Handling.
Semantics of Specification Languages 1993: 216-231 |
| 1992 |
|---|
| 2 | | T. B. Dinesh:
Extending compound assignments for C++.
OOPS Messenger 3(1): 45-49 (1992) |
| 1991 |
|---|
| 1 | | G. Steve Hirst,
T. B. Dinesh:
The Combination of Specifications and the Induced Relations in Object Oriented Programs.
AMAST 1991: 70-77 |
