Problem of software synthesis from made-up components
The paper analyze software synthesis from components problem, overviews possible solutions. This article shows that synthesis of programs (SSP) is suitable method to solve this problem.
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2003-12-01
|
| Series: | Lietuvos Matematikos Rinkinys |
| Online Access: | https://www.journals.vu.lt/LMR/article/view/32408 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832593150962565120 |
|---|---|
| author | Vaidas Giedrimas |
| author_facet | Vaidas Giedrimas |
| author_sort | Vaidas Giedrimas |
| collection | DOAJ |
| description |
The paper analyze software synthesis from components problem, overviews possible solutions. This article shows that synthesis of programs (SSP) is suitable method to solve this problem.
|
| format | Article |
| id | doaj-art-823f7c4e946f4dbdb9e79f6abc310c42 |
| institution | Kabale University |
| issn | 0132-2818 2335-898X |
| language | English |
| publishDate | 2003-12-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Lietuvos Matematikos Rinkinys |
| spelling | doaj-art-823f7c4e946f4dbdb9e79f6abc310c422025-01-20T18:17:50ZengVilnius University PressLietuvos Matematikos Rinkinys0132-28182335-898X2003-12-0143spec.10.15388/LMR.2003.32408Problem of software synthesis from made-up componentsVaidas Giedrimas0Institute of Mathematics and Informatics The paper analyze software synthesis from components problem, overviews possible solutions. This article shows that synthesis of programs (SSP) is suitable method to solve this problem. https://www.journals.vu.lt/LMR/article/view/32408 |
| spellingShingle | Vaidas Giedrimas Problem of software synthesis from made-up components Lietuvos Matematikos Rinkinys |
| title | Problem of software synthesis from made-up components |
| title_full | Problem of software synthesis from made-up components |
| title_fullStr | Problem of software synthesis from made-up components |
| title_full_unstemmed | Problem of software synthesis from made-up components |
| title_short | Problem of software synthesis from made-up components |
| title_sort | problem of software synthesis from made up components |
| url | https://www.journals.vu.lt/LMR/article/view/32408 |
| work_keys_str_mv | AT vaidasgiedrimas problemofsoftwaresynthesisfrommadeupcomponents |