Výsledky vyhledávání - Semantics of Programming Languages—Program analysis General Terms~

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ískat plný text

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

“…), with an appropriate framework for the definition of nonstandard semantics of CLP. This integration turns out to be particularly appropriate for the case of the abstract interpretation of CLP language programs over numeric domains…”
Získat plný text