User Tools

Site Tools


melange:papers:fall2018

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

melange:papers:fall2018 [2018/08/29 10:39] (current)
sanjay created
Line 1: Line 1:
 +@article{Verdoolaege:​2012:​ECS:​2362389.2362390,​ author = {Verdoolaege,​ Sven and Janssens, Gerda and Bruynooghe, Maurice}, title = {Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences},​ journal = {ACM Trans. Program. Lang. Syst.}, issue_date = {October 2012}, volume = {34}, number = {3}, month = nov, year = {2012}, issn = {0164-0925},​ pages = {11:​1–11:​35},​ articleno = {11}, numpages = {35}, url = {http://​doi.acm.org/​10.1145/​2362389.2362390},​ doi = {10.1145/​2362389.2362390},​ acmid = {2362390}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Commutativity,​ equivalence checking, polytope model, recurrences,​ widening}, }
  
melange/papers/fall2018.txt · Last modified: 2018/08/29 10:39 by sanjay