| Title: |
Newtonian program analysis via tensor product |
| Article URLs: |
|
| Alternative Article URLs: |
http://www.cs.wisc.edu/wpis/papers/popl16.pdf
Journal version: https://doi.org/10.1145/3024084 |
| Authors: |
Thomas W. Reps |
-
GrammaTech, Inc.; Ithaca, NY
-
Univ. of Wisconsin; Madison,WI, Computer Sciences Department
|
| Emma Turetsky |
-
GrammaTech, Inc.; Ithaca, NY; USA
|
| Prathmesh Prabhu |
-
Google, Inc.; Mountain View, CA; USA
|
| Sharing: |
Not able to share produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
0904371
|
| DBLP Key: |
conf/popl/RepsTP16
|
| Author Comments: |
|