An Analysis of Permutations in Arrays

DOI10.1007/978-3-642-11319-2_21MaRDI QIDQ3656889zbMATH OpenOpenAlexFDO

Authors Valentin Perrelle, Nicolas Halbwachs

Publication date 14 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11319-2_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 139974
• An Alternative Approach to the Analysis of Permutations
• Constructions of permutation arrays
• Analysis of a class of easily computable permutations
• scientific article; zbMATH DE number 125593
• A combinatorial theory of higher-dimensional permutation arrays
• Two Constructions of Permutation Arrays
• Best permutation analysis
• Analysis of reversal and transposition distances for permutations
• A survey of simple permutations

Cited in

(7)

• Systolic arrays for the recognition of permutation-invariant segments
• Best permutation analysis
• Abstract domains for automated reasoning about list-manipulating programs with infinite data
• Two Constructions of Permutation Arrays
• scientific article; zbMATH DE number 139974 (Why is no real title available?)
• A framework for numeric analysis of array operations
• Permission inference for array programs

This page was built for publication: An Analysis of Permutations in Arrays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656889)