Concepedia

Arrays Theory

Arrays Theory is a decidable theory within Satisfiability Modulo Theories that formalizes arrays as functions from indices to values, distinguishing itself by enabling reasoning about read and write operations over array structures while preserving decidability through specialized axiomatization.

53

Publications

2.8K

Citations

107

Authors

53

Institutions

Publications per year

2017–2026

3

Variants

Theory Of Arrays

Parents

Publications

53

Description and validation of an array model — MAESTRO

Ying‐Ping Wang, P. G. Jarvis · Agricultural and Forest Meteorology · 1990 · 489 citations

, , +6

The Fortress Language Specification

Eric E. Allen, David Chase, Joe Hallett et al. · 2007 · 197 citations

, , +10

Algebraic constructions for costas arrays

Solomon W. Golomb · Journal of Combinatorial Theory Series A · 1984 · 189 citations

, , +11

A decision procedure for an extensional theory of arrays

Aaron Stump, Clark Barrett, David L. Dill et al. · 2002 · 136 citations

, , +7

Generalized, efficient array decision procedures

Leonardo de Moura, Nikolaj Bjørner · 2009 · 132 citations

, , +13

1–5 of 53

Authors

107

  1. SG
    Silvio Ghilardi

    University of Milan, Italy

    5 publications · 125 citations

    5

    h-index

  2. SR
    Silvio Ranise

    Fondazione Bruno Kessler, Italy

    3 publications · 92 citations

    3

    h-index

  3. ZD
    Zhenyue Deng

    Florida International University, United States

    2 publications · 35 citations

    2

    h-index

  4. FL
    Francesco Logozzo

    Microsoft (United States), United States

    2 publications · 132 citations

    2

    h-index

  5. FA
    Francesco Alberti

    Università della Svizzera italiana, Switzerland

    2 publications · 33 citations

    2

    h-index

1–5 of 107

Institutions

53

  1. University of Milan

    Milan, Italy

    5 h-index

    8 publications

    222 citations

  2. Systems, Applications & Products in Data Processing (United States)

    Philadelphia, United States

    2 h-index

    3 publications

    184 citations

  3. Università della Svizzera italiana

    Lugano, Switzerland

    2 h-index

    3 publications

    44 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    3 publications

    160 citations

  5. Microsoft (United States)

    Redmond, United States

    2 h-index

    4 publications

    380 citations

  6. Johannes Kepler University of Linz

    Linz, Austria

    2 h-index

    4 publications

    256 citations

  7. University of Wisconsin–Madison

    Madison, United States

    2 h-index

    4 publications

    220 citations

  8. Florida International University

    Miami, United States

    2 h-index

    4 publications

    70 citations

1–8 of 53

Venues

  1. Journal of Combinatorial Theory Series A

    2 publications · 240 citations

    2

    h-index

  2. IBM Journal of Research and Development

    2 publications · 131 citations

    2

    h-index

  3. Journal of Automated Reasoning

    2 publications · 26 citations

    2

    h-index

  4. Journal of Mathematics and Physics

    1 publications · 50 citations

    1

    h-index

  5. ACM SIGMOD Record

    1 publications · 16 citations

    1

    h-index

1–5