Graph-Based Object-Oriented Hoare Logic.
Liang ZhaoShuling WangZhiming LiuPublished in: Theories of Programming and Formal Methods (2013)
Keyphrases
- object oriented
- programming language
- data model
- relational databases
- logic programming
- object oriented database systems
- database applications
- object oriented databases
- software engineering
- semi supervised
- database design
- predicate logic
- defeasible logic
- classical logic
- database schema
- programming interface
- constraint language
- multi valued
- automated reasoning
- object oriented modeling
- object oriented programming
- probability theory
- graph theoretic
- graph model
- design patterns
- computational properties
- modal logic
- first order logic
- artificial intelligence
- genetic algorithm
- data sets