1,685 followers
Verifying Array Manipulating Programs by Tiling. (arXiv:1707.03555v2 [cs.SE] UPDATED) https://t.co/ecJuHrZrGg
Verifying Array Manipulating Programs by Tiling. (arXiv:1707.03555v2 [cs.SE] UPDATED) https://t.co/ecJuHrZrGg
#arXiv #cs_LO "Verifying Array Manipulating Programs by Tiling. (arXiv:1707.03555v2 [cs.SE] UPDATED)" https://t.co/eLFsAsj8GJ
"Relative Store Fragments for Singleton Abstraction" by L. Facchinetti, Zachary Palmer, and S. F. Smith https://t.co/35jSVgovVq #recentpubs https://t.co/umuMdbcMsk
RT @ComputerPapers: Verifying Array Manipulating Programs by Tiling. https://t.co/fmb8vDwJn1