Synthesizing Nested Relational Queries from Implicit Specifications.

Michael Benedikt, Ccilia Pradic, Christoph Wernhard

Browse the full PODS paper archive.