Dévai Richárd; Jász Judit; Nagy Csaba; Ferenc Rudolf: Designing and implementing control flow graph for magic 4th generation language. In: Acta cybernetica, (21) 3. pp. 419-437. (2014)
Előnézet |
Cikk, tanulmány, mű
actacyb_21_3_2014_9.pdf Letöltés (541kB) | Előnézet |
Absztrakt (kivonat)
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 as well to retrieve information from source code, for example for 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. While we were designing and implementing the CFG for this language, we identified differences compared to 3rd generation languages mostly because of the unique programming technique of Magic (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.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2014 |
| Kötet: | 21 |
| Szám: | 3 |
| ISSN: | 0324-721X |
| Oldalak: | pp. 419-437 |
| Nyelv: | angol |
| Kiadás helye: | Szeged |
| Konferencia neve: | Symposium on Programming Languages and Software Tools (2013) (Szeged) |
| Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/38537/ |
| DOI: | 10.14232/actacyb.21.3.2014.9 |
| Kulcsszavak: | Számítástechnika |
| Megjegyzések: | Bibliogr.: p. 435-437. és a lábjegyzetekben ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2016. okt. 17. 10:37 |
| Utolsó módosítás: | 2022. jún. 20. 08:32 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/34477 |
 |
Tétel nézet |
