Verification of Programs with Mutual Recursion in Pifagor Language.
Mariya S. UshakovaAlexander I. LegalovPublished in: Autom. Control. Comput. Sci. (2018)
Keyphrases
- computer programs
- java bytecode
- symbolic execution
- control structures
- object oriented languages
- programming language
- agent programming
- specification language
- programming environment
- model checking
- natural language
- functional programs
- deductive databases
- recursive programs
- complex objects
- intermediate level
- dynamic logic
- error handling
- neural network
- hardware designs
- language constructs
- language learning
- artificial intelligence
- asynchronous circuits
- database languages
- language processing
- modeling language
- relational databases