Amanote Research
Register
Sign In
Newtonian Program Analysis via Tensor Product
doi 10.1145/2837614.2837659
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Thomas Reps
Emma Turetsky
Prathmesh Prabhu
Publisher
ACM Press
Related search
Newtonian Program Analysis via Tensor Product
ACM Transactions on Programming Languages and Systems
Software
Newtonian Program Analysis via Tensor Product
ACM SIGPLAN Notices
Computer Science
Fibre Tensor Product Bundles
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Functional Dimension of Tensor Product
Proceedings of the Japan Academy
Tensor Product of Continuous Operator
Journal of Al-Nahrain University Science
Rational Tensor Product Bézier Volumes
Computers and Mathematics with Applications
Mathematics
Computational Mathematics
Simulation
Modeling
Computational Theory
The Tensor Product of Triples as Multilinear Product
Revista Matematica Complutense
Mathematics
Tensor Product of Massey Products
Acta Mathematica Sinica, English Series
Mathematics
Applied Mathematics
Tensor-Product Summation-By-Parts Operators