Login / Signup

On Decidable Growth-Rate Properties of Imperative Programs

Amir M. Ben-Amram
Published in: DICE (2010)
Keyphrases
  • imperative programs
  • growth rate
  • dynamic logic
  • knowledge base
  • machine learning
  • information technology
  • first order logic