32 lines
2.9 KiB
Markdown
32 lines
2.9 KiB
Markdown
type:: [[REVIEWS]]
|
|
tags::
|
|
year:: 2024
|
|
venue:: [[SCP]]
|
|
full-title:: Executable Assertions for Functional Program
|
|
date-start:: [[07-05-2024]] - 20:58
|
|
date-submitted:: [[12-07-2024]]
|
|
external-links:: https://www.editorialmanager.com/scico/l.asp?i=177065&l=B3F8WH6I
|
|
status:: [[DONE]]
|
|
deadline-submission:: [[06-06-2024]]
|
|
file:: [[@SCICO-D-24-00068.pdf]]
|
|
parent::
|
|
todoist:: https://app.todoist.com/app/task/scico-d-24-00068-7969510453
|
|
|
|
- ### [[Highlights]]
|
|
- ### [[comments]]
|
|
- **Summary**: The paper proposes a novel approach to enhancing program correctness by combining functional program verification with executable assertions. It addresses the challenges in merging these techniques and presents a systematic method for translating intended functions into executable assertions. This approach leverages the strengths of both methods to improve software reliability.
|
|
- **Comments**: The paper is well-written and structured. It fairly introduces most of the foundational concepts required to understand the proposed approach. However, I have some presentation concerns that are related to the following aspects:
|
|
- The authors introduce examples and discussions related to Dart (e.g., compiler considerations on page 9), assuming readers are familiar with this technology. It may be beneficial to briefly introduce Dart and the relevant aspects of this technology that are peculiar to the usage of the proposed approach.
|
|
- The correct translation of intended functions into assertions, as detailed in Section 4, is crucial to the proposed approach. Without proper support from dedicated automation tools, the benefits of the approach may be compromised. Emphasizing the importance of such tools and outlining potential solutions or existing tools that could be adapted would strengthen the argument.
|
|
- No baseline tools have been considered and compared with the proposed approach. I suggest extending Section 5 by showing the limitations of existing approaches if applied to the same examples. This will give the possibility to highlight the benefit of the proposed approach and to show how it can overcome the limitations of existing methodologies. Specifically defined (qualitative and quantitative) metrics need to be exploited to support the comparison.
|
|
- To summarize, the paper addresses a relevant and significant problem for the journal. While the proposed approach is interesting, it requires a revision to improve its presentation. Enhancing the clarity of the approach and making it more convincing by comparing it with existing methodologies applied to the same explanatory scenarios will strengthen the paper.
|
|
-
|
|
- ### [[REVIEWS/Notes]]
|
|
- ### YELLOW CONCERNS
|
|
background-color:: yellow
|
|
- {{query (and [[ffd400]] [[SCICO-D-24-00068]] )}}
|
|
collapsed:: true
|
|
- ### ❓️Questions
|
|
- {{query (and [[question]] [[SCICO-D-24-00068]] )[[question]]}}
|
|
query-table:: true
|
|
query-properties:: [:block] |