Login / Signup

Generalizing Cook's Transformation to Imperative Stack Programs.

Nils AndersenNeil D. Jones
Published in: Results and Trends in Theoretical Computer Science (1994)
Keyphrases
  • computer programs
  • databases
  • control program
  • prolog programs
  • computer vision
  • logic programming
  • answer sets
  • control structures