Designing and implementing control flow graph for magic 4th generation language

Richárd Dévai, Judit Jász, Csaba Nagy, R. Ferenc

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

A good compiler which implements many optimizations during its compilation phases must be able to perform several static analysis techniques such as control flow or data flow analysis. Besides compilers, these techniques are common for static analyzers to retrieve information from the code for example code auditing, quality assurance, or testing purposes. Implementing control flow analysis requires handling many special structures of the target language. In our paper we present our experiences in implementing control flow graph (CFG) construction for a special 4th generation language called Magic. During designing and implementing the CFG for this language we identified dierences compared to 3rd generation languages because the special programming technique of this language (e.g. data access, parallel task execution, events). Our work was motivated by our industrial partner who needed precise static analysis tools (e.g. for quality assurance or testing purposes) for this language. We believe that our experiences for Magic, as a representative of 4GLs might be generalized for other languages too.

Original languageEnglish
Title of host publication13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings
PublisherUniversity of Szeged
Pages200-214
Number of pages15
ISBN (Print)9789633062289
Publication statusPublished - 2013
Event13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Szeged, Hungary
Duration: Aug 26 2013Aug 27 2013

Other

Other13th Symposium on Programming Languages and Software Tools, SPLST 2013
CountryHungary
CitySzeged
Period8/26/138/27/13

Fingerprint

Flow graphs
Static analysis
Quality assurance
Flow control
Codes (standards)
Data flow analysis
Testing

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Cite this

Dévai, R., Jász, J., Nagy, C., & Ferenc, R. (2013). Designing and implementing control flow graph for magic 4th generation language. In 13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings (pp. 200-214). University of Szeged.

Designing and implementing control flow graph for magic 4th generation language. / Dévai, Richárd; Jász, Judit; Nagy, Csaba; Ferenc, R.

13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings. University of Szeged, 2013. p. 200-214.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dévai, R, Jász, J, Nagy, C & Ferenc, R 2013, Designing and implementing control flow graph for magic 4th generation language. in 13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings. University of Szeged, pp. 200-214, 13th Symposium on Programming Languages and Software Tools, SPLST 2013, Szeged, Hungary, 8/26/13.
Dévai R, Jász J, Nagy C, Ferenc R. Designing and implementing control flow graph for magic 4th generation language. In 13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings. University of Szeged. 2013. p. 200-214
Dévai, Richárd ; Jász, Judit ; Nagy, Csaba ; Ferenc, R. / Designing and implementing control flow graph for magic 4th generation language. 13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings. University of Szeged, 2013. pp. 200-214
@inproceedings{e6bf6137354f4a85ad5057943c21620b,
title = "Designing and implementing control flow graph for magic 4th generation language",
abstract = "A good compiler which implements many optimizations during its compilation phases must be able to perform several static analysis techniques such as control flow or data flow analysis. Besides compilers, these techniques are common for static analyzers to retrieve information from the code for example code auditing, quality assurance, or testing purposes. Implementing control flow analysis requires handling many special structures of the target language. In our paper we present our experiences in implementing control flow graph (CFG) construction for a special 4th generation language called Magic. During designing and implementing the CFG for this language we identified dierences compared to 3rd generation languages because the special programming technique of this language (e.g. data access, parallel task execution, events). Our work was motivated by our industrial partner who needed precise static analysis tools (e.g. for quality assurance or testing purposes) for this language. We believe that our experiences for Magic, as a representative of 4GLs might be generalized for other languages too.",
author = "Rich{\'a}rd D{\'e}vai and Judit J{\'a}sz and Csaba Nagy and R. Ferenc",
year = "2013",
language = "English",
isbn = "9789633062289",
pages = "200--214",
booktitle = "13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings",
publisher = "University of Szeged",

}

TY - GEN

T1 - Designing and implementing control flow graph for magic 4th generation language

AU - Dévai, Richárd

AU - Jász, Judit

AU - Nagy, Csaba

AU - Ferenc, R.

PY - 2013

Y1 - 2013

N2 - A good compiler which implements many optimizations during its compilation phases must be able to perform several static analysis techniques such as control flow or data flow analysis. Besides compilers, these techniques are common for static analyzers to retrieve information from the code for example code auditing, quality assurance, or testing purposes. Implementing control flow analysis requires handling many special structures of the target language. In our paper we present our experiences in implementing control flow graph (CFG) construction for a special 4th generation language called Magic. During designing and implementing the CFG for this language we identified dierences compared to 3rd generation languages because the special programming technique of this language (e.g. data access, parallel task execution, events). Our work was motivated by our industrial partner who needed precise static analysis tools (e.g. for quality assurance or testing purposes) for this language. We believe that our experiences for Magic, as a representative of 4GLs might be generalized for other languages too.

AB - A good compiler which implements many optimizations during its compilation phases must be able to perform several static analysis techniques such as control flow or data flow analysis. Besides compilers, these techniques are common for static analyzers to retrieve information from the code for example code auditing, quality assurance, or testing purposes. Implementing control flow analysis requires handling many special structures of the target language. In our paper we present our experiences in implementing control flow graph (CFG) construction for a special 4th generation language called Magic. During designing and implementing the CFG for this language we identified dierences compared to 3rd generation languages because the special programming technique of this language (e.g. data access, parallel task execution, events). Our work was motivated by our industrial partner who needed precise static analysis tools (e.g. for quality assurance or testing purposes) for this language. We believe that our experiences for Magic, as a representative of 4GLs might be generalized for other languages too.

UR - http://www.scopus.com/inward/record.url?scp=84923620303&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84923620303&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9789633062289

SP - 200

EP - 214

BT - 13th Symposium on Programming Languages and Software Tools, SPLST 2013 - Proceedings

PB - University of Szeged

ER -