Inference of static semantics for incomplete C programs.
Leandro T. C. MeloRodrigo Geraldo RibeiroMarcus R. de AraújoFernando Magno Quintão PereiraPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- stable models
- fixpoint semantics
- formal semantics
- uncertain information
- programming language constructs
- bayesian networks
- probabilistic inference
- logic programming
- dynamic logic
- null values
- semantics for logic programs
- lexical semantics
- stable model semantics
- fixpoint
- missing values
- computer programs
- declarative semantics
- dynamic constraints
- incomplete data
- missing data
- control flow
- wordnet
- semantic information
- normal logic programs
- default reasoning
- database languages
- probabilistic reasoning
- logic programs