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 As Get 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
Artifact
DARTS-10-2-25-artifact-e16fe2b6955f52307bbdadcaea9dfd2f.tar.gz
(Filesize: 1.74 GB)
MD5 Sum:
e16fe2b6955f52307bbdadcaea9dfd2f
(Get MD5 Sum)
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.