Formal derivation of Greedy algorithms from relational specifications: A tutorial.
Yu-Hsi ChiangShin-Cheng MuPublished in: J. Log. Algebraic Methods Program. (2016)
Keyphrases
- greedy algorithms
- greedy algorithm
- formal specification
- formal language
- operational semantics
- reactive systems
- search algorithm
- relational data
- data model
- formal descriptions
- formal model
- requirements specification
- formal methods
- relational databases
- knapsack problem
- cost function
- databases
- delay insensitive
- specification language
- approximation ratio
- model checking
- software development
- functional requirements
- relational structures
- high level
- database