Charles Explorer logo
🇨🇿

Binding Semantic Tree of Dynamic Languages to Static Language Constructs

Publikace na Matematicko-fyzikální fakulta |
2017

Tento text není v aktuálním jazyce dostupný. Zobrazuje se verze "en".Abstrakt

With the steadily increasing popularity of dynamic languages in web technologies, it is imperative to continuously improve their utilization. Source code analysis should be used for the purposes of a language compiler or as a part of the development environment, code prediction and preventing issues.

Using Microsoft Roslyn open-source compiler platform, we propose a uniform PHP dynamic language source code analysis framework that combines a static language semantic tree with dynamic language features, such as its lack of variable type information. The framework provides source code semantics extensible with the results of subsequent passes of type analysis.

The framework is targeted to code analysis and compilation, resulting in an efficient machine code.