An Overview of Semantics for the Validation of Numerical Programs.
Matthieu MartelPublished in: VMCAI (2005)
Keyphrases
- stable model semantics
- control flow
- formal semantics
- fixpoint semantics
- dynamic logic
- logic programming
- stable models
- normal logic programs
- logic programs
- semantic information
- computer programs
- fixpoint
- programming language constructs
- transformation rules
- numerical methods
- sensitivity analysis
- data sets
- model theoretic
- programming language
- semantics for logic programs
- numerical data
- answer sets
- finite difference
- future trends
- neural network
- model validation
- database