Formal and adaptive methods and software tools of parallel programming

A review of the results of the development of formal and adaptive methods and software, achieved in recent years in the Institute of Software Systems of the National Academy of Sciences of Ukraine, based on the algebra-algorith­mic approach and the technique of rewriting rules is given. The methods...

Full description

Saved in:
Bibliographic Details
Date:2018
Main Authors: Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.
Format: Article
Language:English
Published: Інститут програмних систем НАН України 2018
Subjects:
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/295
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming

Institution

Problems in programming