Výsledky vyhľadávania - Semantics of Programming Languages—Program Analysis General Terms Programming Languages

The theory and practice of semantic program analysis for higher-order functional programming languages Autor Young, Jonathan Hood

“… Like many other lazy languages, a significant overhead is incurred in order to preserve the lazy semantics of the language…”
Získať plný text

Region analysis for deductive verification of C programs Autor Mandrykin, M. U., Khoroshilov, A. V.

“… In addition, an encoding is proposed for modeling the memory state of a core-language program with logical formulas as described by the model semantics of the core language…”
Získať plný text

An application of constraint propagation to data-flow analysis Autor Bagnara, R., Giacobazzi, R., Levi, G.

“…The optimized compilation of constraint logic programming (CLP) languages can give rise to impressive performance improvements in terms of run time…”
Získať plný text