conftrace_

logic grammar

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

specification language (1) semantic round-tripping (1) bidirectional grammar (1) text specification (1) bidirectional transformation (1) answer set programming (1)

Papers

Lossless Semantic Round-Tripping in PENG ASP IJCAI 2020