Points-to analysis of IEC 61131-3 programs: Implementation and application

Florian Angerer, Herbert Prähofer, Rudolf Ramler, Friedrich Grillenberger. Points-to analysis of IEC 61131-3 programs: Implementation and application. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-8, IEEE, 2013. [doi]

@inproceedings{AngererPRG13,
  title = {Points-to analysis of IEC 61131-3 programs: Implementation and application},
  author = {Florian Angerer and Herbert Prähofer and Rudolf Ramler and Friedrich Grillenberger},
  year = {2013},
  doi = {10.1109/ETFA.2013.6648062},
  url = {http://dx.doi.org/10.1109/ETFA.2013.6648062},
  researchr = {https://researchr.org/publication/AngererPRG13},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013},
  publisher = {IEEE},
}