Formalization of the Undecidability of the Halting Problem for a Functional Language.
Thiago Mendonça Ferreira RamosCésar A. MuñozMauricio Ayala-RincónMariano M. MoscatoAaron DutleAnthony NarkawiczPublished in: WoLLIC (2018)
Keyphrases
- functional language
- functional programming
- programming language
- description logics
- proof planning
- knowledge representation
- object identity
- formal model
- data model
- logic programs
- data mining
- object oriented databases
- operational semantics
- execution model
- general purpose
- building intelligent
- high level
- artificial intelligence