КЛАССИФИКАЦИЯ МЕР РЕАГИРОВАНИЯ НА ИНФОРМАЦИЮ ФИНАНСОВОГО КОНТРОЛЯ В ОРГАНИЗАЦИИ И ПРИНЦИПЫ ИХ ПРИМЕНЕНИЯ
- 期刊名称Теория и практика общественного развития
- 作者 ЛУКИН АНДРЕЙ ГЕННАДЬЕВИЧ
- 期第6期
- 印刷ISSN1815-4964
- 电子ISSN2072-7623
- 文件大小377.70KB
- 发表时间2014
- DOI10.0000/cyberleninka.ru/article/n/klassifikatsiya-mer-reagirovaniya-na-informatsiyu-finansovogo-kontrolya-v-organizatsii-i-printsipy-ih-primeneniya
Refining Model Checking by Abstract InterpretationPatrick Cousot; Radhia Cousot · 1999
Bi-inductive structural semanticsPatrick Cousot; Radhia Cousot · 2009
Automatic synthesis of optimal invariant assertionsCousot, Patrick; Cousot, Radhia · ACM SIGART Bulletin · 1977
Abstract Interpretation FrameworksCOUSOT, PATRICK; COUSOT, RADHIA · Journal of Logic and Computation · 1992
An abstract interpretation framework for terminationCousot, Patrick; Cousot, Radhia · ACM SIGPLAN Notices · 2012
Abstract interpretation and application to logic programsPatrick Cousot; Radhia Cousot · 1992
Bi-inductive Structural Semantics: (Extended Abstract)Patrick Cousot; Radhia Cousot · 2007
Parsing as abstract interpretation of grammar semanticsPatrick Cousot; Radhia Cousot · 2003