English
Polski
REPORT A PROBLEM
LINKS
Resource link (short)
http://zasobynauki.pl/zasoby/49787Resource link (repository)
https://id.e-science.pl/records/49787Resource metadata
| Title |
Static analysis of function calls in Erlang |
|---|---|
| Persons |
Authors:
Dániel Horpácsi, Judit Kőszeg
Partner: Wrocław University of Science and Technology |
| Description |
Functions and their relations can affect numerous properties and metrics of a functional program.To identify and represent the functions and their calling connections, software analysers commonly apply semantic function analysis, which derives the static call graph of the program, based on its source code. Function calls however may be dynamic and complex, making it difficult to statically identify the callee. Dynamic calls are determined just at run-time, static analysis therefore cannot be expected to fully identify every call. Nevertheless, by utilising the results of a properly performed data-flow analysis as well as taking ambiguous references into account, numerous dynamic calls are discoverable and representable.We consider cases where the identifiers of the callee are statically determined, but they flow into the call expression from a different program point, and also, we manage to handle function calls whose identifiers are not fully identifiable at compile-time. By utilising the improved reference analysis, we extend the static call graph with various information about dynamic function calls. We investigate such a function call analysis in the programming language Erlang. (English) Description in another language: Zasób o zwiększonej dostępności dla ON (osób z niepełnosprawnościami). (Polish) |
| Keywords | "adaptacja"@pl, "informatyka"@pl, "erlang"@pl |
| Classification |
Resource type:
article, chapter Scientific discipline: dziedzina nauk technicznych / informatyka (2011) Destination group: general public, students, scientists Harmful content: No |
| Characteristics |
Title of source document: e-Informatica: Software Engineering Journal
Numbering: Vol. 7, issue 1 Place of publication: Wrocław Publisher: Oficyna Wydawnicza Politechniki Wrocławskiej Time of publication: 2013 From page: 65 To page: 76 ISSN: 1897-7979 Resource language: English Identifiers: DOI: 10.5277/e-Inf130107 |
| External links | |
| License | ID-NC-ND |
| Technical information |
Submitter: Magdalena Kruczek Availability date: 29-08-2019 |
| Collections | Kolekcja Politechniki Wrocławskiej, Kolekcja e-Dostępność |
Similar resources
An empirical evaluation of refactoring
Dirk Wilking, Umar Khan, Stefan Kowalewski, article, chapter, Wrocław University of Science and Technology, dziedzina nauk technicznych / informatyka (2011)
From principles to details: integrated framework for architecture modelling of large scale software systems
Jaroslav Žáček, František Huňka, article, chapter, Wrocław University of Science and Technology, dziedzina nauk technicznych / informatyka (2011)
Sztuczna inteligencja w świecie rzeczywistym
Sylwia Majchrowska, video, Wrocław University of Science and Technology, dziedzina nauk technicznych / informatyka (2011)
Media w sieci
Włodzimierz Gogołek, article, chapter, Wrocław University of Science and Technology, Dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja (2018)
Time domain measurement representation in computer system diagnostics and performance analysis
Stanisław Wideł, Jarosław Flak, Piotr Gaj, article, chapter, Wrocław University of Science and Technology, dziedzina nauk technicznych / informatyka (2011)
Contents [e-Informatica Software Engineering Journal, Vol. 3, 2009, Issue 1]
Zbigniew Huzar, Lech Madeyski, article, chapter, Wrocław University of Science and Technology, dziedzina nauk technicznych / informatyka (2011)