ArticlesAs Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
Under a Creative Commons license
open access
Keywords
Program Analysis
Complexity Analysis
Cost Analysis
Rankings
Derivation Length
Termination
Constraint Solving
Constraint Handling Rules
Cited by (0)
Copyright © 2002 Published by Elsevier B.V.