Crossmark

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples

Crossref DOI link: https://doi.org/10.1007/978-3-031-45784-5_2

Published Online: 2023-10-16

Published Print: 2023

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Trong, Bach Nguyen

Tsushima, Kanae

Hu, Zhenjiang
License Information

Text and Data Mining valid from 2023-01-01

Version of Record valid from 2023-01-01

Text and Data Mining valid from 2023-01-01

Version of Record valid from 2023-01-01
More Information

Chapter History

First Online: 16 October 2023

Conference Information

Conference Acronym: LOPSTR

Conference Name: International Symposium on Logic-Based Program Synthesis and Transformation

Conference City: Cascais

Conference Country: Portugal

Conference Year: 2023

Conference Start Date: 23 October 2023

Conference End Date: 24 October 2023

Conference Number: 33

Conference ID: lopstr2023

Conference URL: https://lopstr.github.io/2023/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 29

Number of Full Papers Accepted: 8

Number of Short Papers Accepted: 4

Acceptance Rate of Full Papers: 28% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 3

External Reviewers Involved: Yes