Proving termination of GHC programs

This publication has 17 references indexed in Scilit:

• Sequentialization of parallel logic programs with mode analysis
  Published by Springer Nature ,1993
• Communication with directed logic variables
  Published by Association for Computing Machinery (ACM) ,1991
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• An overview of Rewrite Rule Laboratory (RRL)
  Lecture Notes in Computer Science, 1989
• Simulation of Turing machines by a left-linear rewrite rule
  Published by Springer Nature ,1989
• Unfolding rules for GHC programs
  New Generation Computing, 1988
• Termination of rewriting
  Journal of Symbolic Computation, 1987
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• Computer experiments with the REVE term rewriting system generator
  Published by Association for Computing Machinery (ACM) ,1983
• Orderings for term-rewriting systems
  Theoretical Computer Science, 1982