Picture for Neeraj Mittal

Neeraj Mittal

The University of Texas at Dallas

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

Add code
Sep 17, 2021
Figure 1 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Figure 2 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Figure 3 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Figure 4 for Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Viaarxiv icon