Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
Loading...
Date
Authors
Young, David
Yang, Ziyi
Sergey, Ilya
Potanin, Alex
Journal Title
Journal ISSN
Volume Title
Publisher
Access Statement
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.
Description
Keywords
Citation
Collections
Source
Dagstuhl Artifacts Series (DARTS)
Type
Book Title
Entity type
Publication