2
Invariante para loop aninhado no programa de multiplicação de matrizes
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …
7
algorithms
loop-invariants
correctness-proof
formal-languages
regular-languages
pumping-lemma
logic
logic
programming-languages
lambda-calculus
term-rewriting
operational-semantics
complexity-theory
time-complexity
computability
proof-techniques
reductions
digital-preservation
distributed-systems
storage
algorithms
dynamic-programming
check-my-algorithm
reference-request
cryptography
quantum-computing
formal-languages
regular-languages
context-free
formal-grammars
algorithms
graphs
network-flow
algorithms
data-structures
randomized-algorithms
lists
computability
proof-techniques
undecidability
terminology
distributed-systems
parallel-computing
artificial-intelligence
heuristics
search-problem
algorithms
computational-geometry
algorithm-analysis
asymptotics
recurrence-relation
mathematical-analysis
master-theorem
algorithms
algorithm-analysis
runtime-analysis
computability
reductions
turing-machines
formal-languages
context-free