Evaluation of Concurrent and Distributed Pseudocode Tools
Đã lưu trong:
| Nhiều tác giả: | , , |
|---|---|
| Định dạng: | comunicación de congreso |
| Ngày xuất bản: | 2023 |
| Miêu tả: | 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. |
| Quốc gia: | Kérwá |
| Tổ chức giáo dục: | Universidad de Costa Rica |
| Repositorio: | Kérwá |
| Ngôn ngữ: | Inglés |
| OAI Identifier: | oai:kerwa.ucr.ac.cr:10669/104555 |
| Truy cập trực tuyến: | https://hdl.handle.net/10669/104555 |
| Từ khóa: | Concurrent Pseudocode Distributed Pseudocode Parallel Pseudocode Code Correctness Concurrent Programming Distributed Programming Parallel Programming Pseudocode Pseudo-Code Pseudo-Language Education Teaching |