Login / Signup

On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems.

Yoshiaki KanazawaNaoki Nishida
Published in: WPTE@FSCD (2018)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • functional language
  • linear functions
  • logical formulas