Suchergebnisse - Semantics of Programming Languages—Program Analysis General Terms Programming Languages

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

“… Like many other lazy languages, a significant overhead is incurred in order to preserve the lazy semantics of the language …”
Volltext

Region analysis for deductive verification of C programs von 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 …”
Volltext

An application of constraint propagation to data-flow analysis von 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 …”
Volltext