Primitive Program Schemes with Procedures
The paper considers algebraic program models with procedures designed to analyze program semantic properties based on program schemes. This leads to the problem of program scheme equivalence and the problem of constructing a complete system of equivalent program scheme transformations. Among algebra...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
Yaroslavl State University
2014-08-01
|
| سلاسل: | Моделирование и анализ информационных систем |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.mais-journal.ru/jour/article/view/103 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|