The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

T. B. Dinesh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002