Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

Planned intervention: On Tuesday, November 17th between 08:00-08:15 (UTC), Zenodo will be unavailable for 10 minutes because of a scheduled upgrade of our server infrastructure.

Published September 10, 2021 | Version v1
Software Open

Artifact for OOPSLA'21: Generalizable Synthesis Through Unification

Authors/Creators

  • Ruyi Ji1
  • Jingtao Xia1
  • Yingfei Xiong1
  • Zhenjiang Hu1
  • 1. Peking University

Description

Artifact for OOPSLA'21: Generalizable Synthesis Through Unification

Files

PolyGen.zip

Files (3.7 MB)

Name Size
PolyGen.zip
md5:737d88b6241ac32cde9c67b00d536a18
3.7 MB Preview Download

Additional details

Related works

Is supplement to
10.1145/3485544 (DOI)
150
Views
34
Downloads
Show more details
All versions This version
Views

Total views

150 150
Downloads

Total downloads

34 34
Data volume

Total data volume

134.3 MB 134.3 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.5499720
DOI Badge

DOI 

10.5281/zenodo.5499720

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5499720.svg)](https://doi.org/10.5281/zenodo.5499720)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5499720.svg
  :target: https://doi.org/10.5281/zenodo.5499720

HTML 

<a href="https://doi.org/10.5281/zenodo.5499720"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5499720.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5499720.svg

Target URL 

https://doi.org/10.5281/zenodo.5499720
Resource type
Software
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
September 10, 2021
Modified
September 10, 2021

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies