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 |
| Summary: | 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. |
|---|---|
| ISSN: | 2716-0858 2715-9248 |