A modal typing system for self-referential programs and specifications.
Hiroshi NakanoPublished in: CoRR (2017)
Keyphrases
- control flow
- recursive programs
- transition systems
- high level
- modal logic
- logic programs
- fixpoint
- data flow
- formal specification
- program synthesis
- programming environment
- finite state machines
- temporal logic
- learning algorithm
- data sets
- functional requirements
- pairwise
- nonmonotonic logics
- artificial intelligence
- dynamic logic
- control program
- neural network