Search Results - "D.1.2 [Programming Techniques]: Automatic Programming"

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

    Static analysis of arithmetical congruences by Granger, Philippe

    ISSN: 0020-7160, 1029-0265
    Published: Abingdon Gordon and Breach Science Publishers 01.01.1989
    “…In this paper, a new kind of static (or semantic) analysis is defined: congruence analysis, which is conceived to discover the properties of the following…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: