Advertisement

Semantics-based program analysis for logic-based languages using XSB

  • Michael Codish
  • Bart Demoen
  • Konstantinos Sagonas
Special section on program analysis tools

Key words: Semantics-based program analysis – Logic programming language analysis – XSB 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Michael Codish
    • 1
  • Bart Demoen
    • 2
  • Konstantinos Sagonas
    • 2
  1. 1.Department of Mathematics and Computer Science, Ben-Gurion University, Beer-Sheva 84105, IsraelIL
  2. 2.Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium;    E-mail: Kostis.Sagonas@cs.kuleuven.ac.beBE

Personalised recommendations