conftrace_

text specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Lossless Semantic Round-Tripping in PENG ASP IJCAI 2020