Open AccessLoop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs
Author(s) -
И. В. Марьясов,
В. А. Непомнящий
Publication year - 2016
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2015-6-773-782
Subject(s) - correctness , computer science , programming language , axiom , semantics (computer science) , axiomatic system , kernel (algebra) , theoretical computer science , rule of inference , mathematics , discrete mathematics , geometry