T. B. Dinesh

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 1

> Home > Persons > T. B. Dinesh

Publications

2001
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/TipD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/TipD01
Frank Tip, T. B. Dinesh:
A slicing-based approach for locating type errors. ACM Trans. Softw. Eng. Methodol. 10(1): 5-55 (2001)
2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sp/DineshHH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sp/DineshHH00
T. B. Dinesh, Magne Haveraaen, Jan Heering:
An algebraic programming style for numerical software and its optimization. Sci. Program. 8(4): 247-259 (2000)
1999
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-SE-9903002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-SE-9903002
T. B. Dinesh, Magne Haveraaen, Jan Heering:
An Algebraic Programming Style for Numerical Software and its Optimization. CoRR cs.SE/9903002 (1999)
1998
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/FieldHD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/FieldHD98
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
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BergstraDFH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BergstraDFH97
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)
[c9]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dsl/DineshT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsl/DineshT97
T. B. Dinesh, Frank Tip:
A Slicing-Based Approach for Locating Type Errors. DSL 1997
1996
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BergstraDFH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BergstraDFH96
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering:
A Complete Transformational Toolkit for Compilers. ESOP 1996: 92-107
1993
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/amast/DeursenDM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/DeursenDM93
Arie van Deursen, T. B. Dinesh, Emma van der Meulen:
The ASF+SDF Meta-environment. AMAST 1993: 411-412
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/DeursenD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/DeursenD93
Arie van Deursen, T. B. Dinesh:
Origin Tracking for Higher-Order Term Rewriting Systems. HOA 1993: 76-95

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.