use a single set of variables for the return variables

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 16 forks source link

Closed aeflores closed 5 years ago

aeflores commented 5 years ago

This avoids generating so many different variables which helps with performance.

aeflores commented 5 years ago

I could not find an implementation of take in the standard library though I am sure it is somewhere. I would be happy to learn where!