Works matching DE "IMPERATIVE programming"


Results: 19
    1
    2
    3
    4
    5

    Secure information flow by self-composition.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1207, doi. 10.1017/S0960129511000193
    By:
    • BARTHE, GILLES;
    • D'ARGENIO, PEDRO R.;
    • REZK, TAMARA
    Publication type:
    Article
    6

    Stepwise debugging of answer-set programs.

    Published in:
    Theory & Practice of Logic Programming, 2018, v. 18, n. 1, p. 30, doi. 10.1017/S1471068417000217
    By:
    • OETSCH, JOHANNES;
    • PÜHRER, JÖRG;
    • TOMPITS, HANS
    Publication type:
    Article
    7
    8
    9
    10

    Re-engineering Loops.

    Published in:
    Computer Journal, 1996, v. 39, n. 3, p. 184, doi. 10.1093/comjnl/39.3.184
    By:
    • Pan, S.;
    • Dromey, R. G.
    Publication type:
    Article
    11
    12
    13
    14
    15
    16
    17
    18
    19