Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный.
Dinesh T.B. Animators and error reporters for generated programming environments / T. B. Dinesh, F. Tip, 1992. - 98 p. - Текст : непосредственный.
Towards a complete transformational toolkit for compilers / J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering, 1996. - 53 p. - Текст : непосредственный.
Dinesh T.B. A trying C++ experience (Why COMPARE dropped C++) / T. B. Dinesh, 1994. - 22 p. - Текст : непосредственный.
Naidich D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers / D.Naidich,T.B.Dinesh, 1996. - 34 p. - Текст : непосредственный.
Deursen A.van Origin tracking for higher-order term rewriting systems / A.van Deursen,T.B.Dinesh, 1994. - 21 p. - Текст : непосредственный.
Walters H.R. An extensible language for the generation of parallel data manipulation and control packages / H.R.Walters,J.F.Th.Kamperman,T.B.Dinesh, 1995. - 16 p. - Текст : непосредственный.
complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.
Dinesh T.B. slicing-based approach for locating type errors / T.B.Dinesh,F.Tip, 1998. - 24 p. - Текст : непосредственный.
Field J. Equations as a uniform framework for partial evaluation and abstract interpretation / J.Field,J.Heering,T.B.Dinesh, 1997. - 6 p. - Текст : непосредственный.
Приложение
для Android