Polyprograms and Polyprogram Bisimulation
A polyprogram is a generalization of a program which admits multiple definitions of a single function. Such objects arise in different transformation systems, such as the Burstall-Darlington framework or equality saturation. In this paper, we introduce the notion of a polyprogram in a non-strict fir...
Main Author: | Sergei Grechanik |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2018-10-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/755 |
Similar Items
-
Approximating Bisimulation in One-counter Nets
by: V. A. Bashkin
Published: (2011-12-01) -
Technology of intraoperative neuromonitoring by the method of polyprogram electric stimulation at reconstructive neuroplasty operations
by: Marina M. Somova, et al.
Published: (2020-02-01) -
Tail Recursion Transformation in Functional Dataflow Parallel Programs
by: A. I. Legalov, et al.
Published: (2015-02-01) -
Tail Recursion Transformation in Functional Dataflow Parallel Programs
by: A. I. Legalov, et al.
Published: (2012-01-01) -
Digital Current Measurement Element for Operation During Current Transformer Severe Saturation
by: Yu. V. Rumiantsev, et al.
Published: (2018-12-01)