DARTS.10.2.25.pdf
- Filesize: 0.53 MB
- 2 pages
Document
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
Authors
David Young 
,
Ziyi Yang ,
Ilya Sergey ,
Alex Potanin
-
Part of:
Issue:
Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Volume: DARTS, Volume 10 (ECOOP 2024)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-09-12
Artifact Description
Document Identifiers
Author Details
Cite AsGet BibTex
David Young, Ziyi Yang, Ilya Sergey, and Alex Potanin. Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact). In Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 25:1-25:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DARTS.10.2.25
https://doi.org/10.4230/DARTS.10.2.25
Artifact
DARTS-10-2-25-artifact-e16fe2b6955f52307bbdadcaea9dfd2f.tar.gz
(Filesize: 1.74 GB)
Artifact Evaluation Policy
The artifact has been evaluated as described in the ECOOP 2024 Call for Artifacts and the ACM Artifact Review and Badging Policy.
Abstract
This artifact provides a translator from Pika code to SuSLik specifications. Additionally, it contains a test suite and benchmark suite. These suites are fully automated using provided scripts. All source code is included.
Subject Classification
ACM Subject Classification
- Software and its engineering → General programming languages
- Software and its engineering → Automatic programming
- Software and its engineering → Compilers
Keywords
- Program Synthesis
- Separation Logic
- Functional Programming
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Nadia Polikarpova and Ilya Sergey. Structuring the synthesis of heap-manipulating programs. Proc. ACM Program. Lang., 3(POPL), January 2019. URL: https://doi.org/10.1145/3290385.