Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates.
Thibaut BenjaminJulien SignolesPublished in: SAC (2023)
Keyphrases
- quantifier free
- language learning
- arithmetic operations
- programming language
- predicate invention
- natural language
- case study
- rewrite systems
- functional programs
- functional language
- object oriented programming
- language processing
- neural network
- user defined
- computationally efficient
- algebraic operations
- basis functions
- object oriented
- information systems
- artificial intelligence