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

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

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

    ISSN: 0361-7688, 1608-3261
    Published: Moscow Pleiades Publishing 01.09.2016
    Published in Programming and computer software (01.09.2016)
    “… 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
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISBN: 9780818638404, 0818638400
    Published: IEEE Comput. Soc. Press 1993
    “…), 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…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: