-calculus as a realistic formalization of a class of rewriting systems

R.S. Shevchenko, A.Yu. Doroshenko

Abstract


A new formalism of typed -calculus is offered as theoretical foundation for the construction of the special classes of programming systems based on rewriting rules. The formalism utilizes the ordered non-confluent sets of rewriting rules and interaction with programming environment that allows to extend possibilities of programming dynamic applications.

Problems in programming 2011; 2: 3-11


References


C. de Oliveira Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. Pontificia Universi-dade Catolica do Rio de Janeiro. 2001.

Cirstea H., Liquori L., Wack B. Rewriting calculus with fixpoints: Untyped and first-order systems. Vol. 3085, Springer, 2003.

Oostrom V. van. Lambda Calculus with Patterns. 1990.

Jay C.B. The pattern calculus. ACM Trans. Program. Lang. Syst. 2005.–Vol. 26, N 6. P. 911 – 937.

Abadi M., Pierce B., Plotkin G. Faithful Ideal Models for Recursive Polymorphic Types // International J. of Foundations of Computer Science. –1989. – Vol. 2. –P. 1 – 21.

Faure G., Kirchner C. Exceptions in the rewriting calculus / Proceedings of the RTA conference, Copenhagen, July 2002. – Lect. Notes in Comp. Sci. – Vol. 2378. – P. 66 – 82.

Doroshenko A., Shevchenko R. TermWare: A Rewriting Framework for Rule-Based Programming Dynamic Applications // Fundamenta Informaticae. – 2006. –Vol. 72, Issue 1-3. – P. 95 – 108.

Дорошенко А.Е., Шевченко Р.С. Система символьных вычислений для программирования динамических приложений // Проблеми програмування. – 2005. – №4. – С. 23 – 33.

Baader F. and Nipkow T. Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999. – 316 p.

Mayr R., Nipkow T. High Order Rewrite Systems and their confluence. Theoretical Computer Science. – 1998. – Vol. 192, Issue 1. – P. 3 – 29.

Girard J.-Y., Taylor P., Lafont Y. Proofs and Types, Cambridge University Press, 1989. – 183 p.

Visser E., A survey of rewriting strategies in program transformation systems, Proceedings of the Workshop on Reduction Strategies in Rewriting and Programming (B. Gramlichand, S.L.Alba, eds.), 2001.

TermWare: http://www.gradsoft.ua


Refbacks

  • There are currently no refbacks.