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 |