conftrace_

semantic round-tripping

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

specification language (1) logic grammar (1) bidirectional grammar (1) text specification (1) bidirectional transformation (1) answer set programming (1)

Papers

Lossless Semantic Round-Tripping in PENG ASP IJCAI 2020