An Analysis of Permutations in Arrays

被引：0

作者：

Perrelle, Valentin ^{[1
]}

Halbwachs, Nicolas ^{[1
]}

机构：

[1] Grenoble Univ, Verimag, Grenoble, France

来源：

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS | 2010年 / 5944卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For instance, to prove a sorting procedure, one has to show that the result is sorted, but also that it is a permutation of the initial array. In order to analyze this kind of properties, we define an abstract interpretation working on multisets of values, and able to discover invariant; equations about such multisets.

引用

页码：279 / 294

页数：16

共 50 条

[1] Permutations of cubical arrays
Wene, G. P.
3QUANTUM: ALGEBRA GEOMETRY INFORMATION (QQQ CONFERENCE 2012), 2014, 532
[2] APN permutations on Zn and Costas arrays
Drakakis, Konstantinos
Gow, Rod
McGuire, Gary
DISCRETE APPLIED MATHEMATICS, 2009, 157 (15) : 3320 - 3326
[3] PARALLEL GENERATION OF PERMUTATIONS ON SYSTOLIC ARRAYS
LIN, CJ
PARALLEL COMPUTING, 1990, 15 (1-3) : 267 - 276
[4] Ambiguity and Deficiency in Costas Arrays and APN Permutations
Panario, Daniel
Stevens, Brett
Wang, Qiang
LATIN 2010: THEORETICAL INFORMATICS, 2010, 6034 : 397 - 406
[5] ANALYSIS OF PERMUTATIONS
PLACKETT, RL
THE ROYAL STATISTICAL SOCIETY SERIES C-APPLIED STATISTICS, 1975, 24 (02): : 193 - 202
[6] Suitable Permutations, Binary Covering Arrays, and Paley Matrices
Colbourn, Charles J.
ALGEBRAIC DESIGN THEORY AND HADAMARD MATRICES, ADTHM, 2015, 133 : 29 - 42
[7] THE DENSITY OF COSTAS ARRAYS AND THREE-FREE PERMUTATIONS
Correll, Bill, Jr.
2012 IEEE STATISTICAL SIGNAL PROCESSING WORKSHOP (SSP), 2012, : 492 - 495
[8] Efficient GPU Implementation of Affine Index Permutations on Arrays
Bouverot-Dupuis, Mathis
Sheeran, Mary
PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FUNCTIONAL HIGH-PERFORMANCE AND NUMERICAL COMPUTING, FHPNC 2023, 2023, : 15 - 28
[9] PERMUTATIONS WITH NON-DECREASING TRANSPOSITION ARRAYS AND PATTERN AVOIDANCE
Beyene, Fufa
Mantaci, Roberto
TWMS JOURNAL OF APPLIED AND ENGINEERING MATHEMATICS, 2024, 14 (02): : 703 - 718
[10] Selecting strong orthogonal arrays by linear allowable level permutations
Chen, Guanzhou
Tang, Boxin
ELECTRONIC JOURNAL OF STATISTICS, 2024, 18 (02): : 3573 - 3589

← 1 2 3 4 5 →