Program Semantics and Verification Technique for AI-Centred Programs.
Solofomampionona Fortunat RajaonaIoana BoureanuVadim MalvoneFrancesco BelardinelliPublished in: FM (2023)
Keyphrases
- symbolic execution
- declarative semantics
- computer chess
- stable model semantics
- programming language constructs
- specification language
- hardware designs
- computer programs
- control flow
- logic programming
- programming language
- control program
- logic programs
- declarative programming
- artificial intelligence
- program execution
- automatic programming
- deductive databases
- static analysis
- java bytecode
- semantics of logic programs
- program slicing
- test generation
- stable models
- evaluation function
- operational semantics
- formal verification
- expert systems
- logic programming language
- answer set programming
- source code
- high level programming
- formal semantics
- intelligent systems
- prolog programs
- knowledge representation and reasoning
- programming environment
- functional programs
- normal logic programs
- java programs
- high level programming language
- ai systems
- recursive programs
- case based reasoning
- dynamic logic
- test data generation
- fixpoint semantics
- model checking
- program synthesis
- knowledge representation
- machine learning
- intended meaning
- semantically equivalent
- asynchronous circuits
- application programs
- imperative programs
- model theoretic
- fixpoint