Formal methods of parallel software design automation
Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a highlevel and natural linguistic representation of algorithms and apply rewriting rules...
Uloženo v:
| Vydáno v: | Dopovidi Nacionalʹnoï akademiï nauk Ukraïni číslo 6; s. 15 - 20 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
28.03.2024
|
| ISSN: | 1025-6415, 2518-153X |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!