Binding Semantic Tree of Dynamic Languages to Static Language Constructs

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10369040" target="_blank" >RIV/00216208:11320/17:10369040 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Binding Semantic Tree of Dynamic Languages to Static Language Constructs

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Binding Semantic Tree of Dynamic Languages to Static Language Constructs

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů