Generating Abstract Graph-Based Procedure Summaries for Pointer Programs

Posted on February 13, 2016 by
by Christina Jansen, Thomas Noll
View PDF
Reference:
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (Christina Jansen, Thomas Noll), Springer, volume 8571, 2014. (Proc. 7th Int. Conf. on Graph Transformation (ICGT 2014))
Bibtex Entry:
@string{lncs="Lecture Notes in Computer Science"}
@BOOK{Jansen:465755,
      author       = {Jansen, Christina and Noll, Thomas},
      title        = {{G}enerating {A}bstract {G}raph-{B}ased {P}rocedure
                      {S}ummaries for {P}ointer {P}rograms},
      volume       = {8571},
      publisher    = {Springer},
      isbn         = {978-3-319-09107-5},
      series       = {LNCS},
      pages        = {49-64},
      year         = {2014},
      comment      = {Proc. 7th Int. Conf. on Graph Transformation (ICGT 2014)},
      booktitle     = {Proc. 7th Int. Conf. on Graph
                       Transformation (ICGT 2014)},
      cin          = {121310 / 120000},
      cid          = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)8 / PUB:(DE-HGF)7},
      url          = {http://publications.rwth-aachen.de/record/465755},
}

Bookmark the permalink.