Cover Image

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

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 e...

Full description

Saved in:
Bibliographic Details
Published in:PROBLEMS IN PROGRAMMING
Date:2025
Issue:2
Pages:3-11
ISSN:1727-4907
Author Affiliations:
  • R.S. Shevchenko — Institute of Software Systems NAS of Ukraine
  • A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine
Main Authors: Shevchenko, R.S., Doroshenko, A.Yu.
Format: Article
Language:Russian
Published: PROBLEMS IN PROGRAMMING 2025
Subjects:
UDC 681.3
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/803
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming

Similar Items

Similar Items