Login / Signup
DynamiTe: dynamic termination and non-termination proofs.
Ton Chanh Le
Timos Antonopoulos
Parisa Fathololumi
Eric Koskinen
ThanhVu Nguyen
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
term rewriting
theorem prover
active rules
dynamic environments
theorem proving
rewrite systems
termination analysis
machine learning
genetic algorithm
decision making
clustering algorithm
multiscale
natural language
evolutionary algorithm
knowledge representation