Towards automatic Maude specifications generation from C functions
In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively. Maude is a formal specification language characterized by simplicity, expressivity and good performance. It is a multi-paradigm meta-language...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Pusat Penelitian dan Pengabdian Masyarakat (P3M), Politeknik Negeri Cilacap
2023-06-01
|
| Series: | Journal of Innovation Information Technology and Application |
| Subjects: | |
| Online Access: | https://ejournal.pnc.ac.id/index.php/jinita/article/view/1846 |
| _version_ | 1797776645673713664 |
|---|---|
| author | fateh boutekkouk |
| author_facet | fateh boutekkouk |
| author_sort | fateh boutekkouk |
| collection | DOAJ |
| description | In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively. Maude is a formal specification language characterized by simplicity, expressivity and good performance. It is a multi-paradigm meta-language based on rewriting logic and equational theories used to specify, simulate and formally verify concurrent and distributed systems. Maude has been used to define the operational semantics of many programming and specification languages. In particular, the addition of this paper is to close the gap between a subset of the C standard language and Maude relying on a transformational approach. |
| first_indexed | 2024-03-12T22:52:53Z |
| format | Article |
| id | doaj.art-4650403a5ea24100b2fa9a48f1c25668 |
| institution | Directory Open Access Journal |
| issn | 2716-0858 2715-9248 |
| language | English |
| last_indexed | 2024-03-12T22:52:53Z |
| publishDate | 2023-06-01 |
| publisher | Pusat Penelitian dan Pengabdian Masyarakat (P3M), Politeknik Negeri Cilacap |
| record_format | Article |
| series | Journal of Innovation Information Technology and Application |
| spelling | doaj.art-4650403a5ea24100b2fa9a48f1c256682023-07-20T04:58:40ZengPusat Penelitian dan Pengabdian Masyarakat (P3M), Politeknik Negeri CilacapJournal of Innovation Information Technology and Application2716-08582715-92482023-06-0151839610.35970/jinita.v5i1.18461846Towards automatic Maude specifications generation from C functionsfateh boutekkouk0university of oum el bouaghiIn this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively. Maude is a formal specification language characterized by simplicity, expressivity and good performance. It is a multi-paradigm meta-language based on rewriting logic and equational theories used to specify, simulate and formally verify concurrent and distributed systems. Maude has been used to define the operational semantics of many programming and specification languages. In particular, the addition of this paper is to close the gap between a subset of the C standard language and Maude relying on a transformational approach.https://ejournal.pnc.ac.id/index.php/jinita/article/view/1846c programming languagemaudeformal specificationformal verification |
| spellingShingle | fateh boutekkouk Towards automatic Maude specifications generation from C functions Journal of Innovation Information Technology and Application c programming language maude formal specification formal verification |
| title | Towards automatic Maude specifications generation from C functions |
| title_full | Towards automatic Maude specifications generation from C functions |
| title_fullStr | Towards automatic Maude specifications generation from C functions |
| title_full_unstemmed | Towards automatic Maude specifications generation from C functions |
| title_short | Towards automatic Maude specifications generation from C functions |
| title_sort | towards automatic maude specifications generation from c functions |
| topic | c programming language maude formal specification formal verification |
| url | https://ejournal.pnc.ac.id/index.php/jinita/article/view/1846 |
| work_keys_str_mv | AT fatehboutekkouk towardsautomaticmaudespecificationsgenerationfromcfunctions |