Suchergebnisse - Semantics of Programming Languages—Program analysis General Terms

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 0361-7688, 1608-3261
    Veröffentlicht: Moscow Pleiades Publishing 01.09.2016
    Veröffentlicht 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    ISBN: 9780818638404, 0818638400
    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: