Evaluation of Concurrent and Distributed Pseudocode Tools
Αποθηκεύτηκε σε:
| Συγγραφείς: | , , |
|---|---|
| Μορφή: | comunicación de congreso |
| Ημερομηνία έκδοσης: | 2023 |
| Περιγραφή: | Pseudocode is a useful design tool in concurrent and distributed programming courses and software development projects. However, testing it and proving its correctness can be difficult. In this work, we report our experience evaluating existing tools against right and wrong concurrent and distributed pseudocode solutions. We also gauged the effort needed to use each of these tools. Through our subjective experience, we found that easy to use and learn tools are limited, mainly lacking the capability to work with data parallelism problems. On the other hand, one tool, PlusCal, is able to prove correctness in both data parallelism and task concurrency, but its learning curve is considerably steep. As far we know, no prior studies compared tools for concurrent and distributed pseudocode. Therefore, our findings can serve as a baseline for for both academics and practitioners wishing to include a tool to design verifiable pseudocode for concurrent and distributed programming tasks. |
| Χώρα: | Kérwá |
| Ίδρυμα: | Universidad de Costa Rica |
| Repositorio: | Kérwá |
| Γλώσσα: | Inglés |
| OAI Identifier: | oai:kerwa.ucr.ac.cr:10669/104555 |
| Διαθέσιμο Online: | https://hdl.handle.net/10669/104555 |
| Λέξη-Κλειδί : | Concurrent Pseudocode Distributed Pseudocode Parallel Pseudocode Code Correctness Concurrent Programming Distributed Programming Parallel Programming Pseudocode Pseudo-Code Pseudo-Language Education Teaching |