Abstract interpretation of active rules and its use in termination analysis Conference Proceedings uri icon

Overview

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 1997

Additional Document Info

Parent Title

  • 6th International Conference on Database Theory
  • DATABASE THEORY - ICDT'97

Volume

  • 1186

Publisher

  • Springer Verlag