Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming

Open in new window