Igor S. Anureev

Learn More
In this paper, a new kind of annotations called attribute annotations and the methodology for their application in deductive program verification are proposed. A collection of annotating attributes for the C-kernel subset of the C language is described, and, on their basis, two versions of axiomatic semantics of C-kernel—forward semantics and mixed forward(More)
There are two major formalisms that are developed around concepts. The first one is Formal Concept Analysis (FCA) by R. Wille and B. Ganter. Roughly speaking, FCA is an extension of algebraic Lattice Theory for knowledge representation. The second formalism, Description Logic (DL), goes back to the universal terminological logic by P.F. Patel-Schneider. It(More)