Valery Ignatyev

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We propose the formal model of programming language constraints, which allows specifying stylistic, syntax and contextual rules. We also give the classification of those constraints. We describe the developed program model and the set of static analysis algorithms for the analyzer subsystem that implements automatic constraints checking and describe the(More)
  • 1