Search Results - Semantics of Programming Languages—Program Analysis General Terms Programming Languages

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

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

Region analysis for deductive verification of C programs by 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…”
Get full text

An application of constraint propagation to data-flow analysis by 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…”
Get full text