Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный.
Towards a complete transformational toolkit for compilers / J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering, 1996. - 53 p. - Текст : непосредственный.
Heering J. Application software, domain-specific languages, and language design assistants / J.Heering, 2000. - 6 p. - Текст : непосредственный.
Compiling language definitions: the ASF+SDF compiler / M.G.J.van den Brand,J.Heering,P.Klint,P.A.Oliver, 2000. - 37 p. - Текст : непосредственный.
Heering J. Implementing higher-order algebraic specifications / J.Heering, 1992. - 12 p. - Текст : непосредственный.
Bergstr J.A. Which data types have w-complete initial algebra specifications? / J.A.Bergstr,J.Heering, 1989. - 16 p. - Текст : непосредственный.
Heering J. Lazy and incremental program generation : Rev.version / J.Heering,P.Klint,J.Rekers, 1991. - 12 p. - Текст : непосредственный.
complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.
Heering J. Semantics of programming languages: a tool-oriented approach / J.Heering,P.Klint, 1999. - 12 p. - Текст : непосредственный.
Bergstra J.A. Homomorphism preserving algebraic specifications require hidden sorts / J.A.Bergstra,J.Heering, 1992. - 12 p. - Текст : непосредственный.
Heering J. Second-order algebraic specification of static semantics / J.Heering, 1992. - 16 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