Author of the publication

Data-flow Analysis of Programs with Associative Arrays

, , and . (2014)cite arxiv:1405.1116Comment: In Proceedings ESSS 2014, arXiv:1405.0554.
DOI: 10.4204/EPTCS.150.6

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Framework for Static Analysis of PHP Applications (Artifact)., and . Dagstuhl Artifacts Ser., 1 (1): 11:1-11:2 (2015)Verifying Temporal Properties of Use-Cases in Natural Language., , , , and . FACS, volume 7253 of Lecture Notes in Computer Science, page 350-367. Springer, (2011)Data-flow Analysis of Programs with Associative Arrays., , and . ESSS, volume 150 of EPTCS, page 56-70. (2014)Framework for Static Analysis of PHP Applications., and . ECOOP, volume 37 of LIPIcs, page 689-711. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)WeVerca: Web Applications Verification for PHP., and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 296-301. Springer, (2014)Data-flow Analysis of Programs with Associative Arrays, , and . (2014)cite arxiv:1405.1116Comment: In Proceedings ESSS 2014, arXiv:1405.0554.Formal Verification of Annotated Textual Use-Cases., , , , and . Comput. J., 58 (7): 1495-1529 (2015)Counterexamples from Proof Failures in SPARK., , and . SEFM, volume 9763 of Lecture Notes in Computer Science, page 215-233. Springer, (2016)On Security Analysis of PHP Web Applications., and . COMPSAC Workshops, page 577-582. IEEE Computer Society, (2012)