XSB as the Natural Habitat for General Purpose Program Analysis

Michael Codish, Bart Demoen, Konstantinos Sagonas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet.8-12 July 1997, Leuven, Belgium The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logic programming and the Internet.
Original languageEnglish GB
Title of host publicationLogic Programming, Proceedings of the 14th International Conference on Logic Programming
EditorsLee Naish
PublisherMIT Press Journals
Pages416
Number of pages1
StatePublished - 1997

Fingerprint

Dive into the research topics of 'XSB as the Natural Habitat for General Purpose Program Analysis'. Together they form a unique fingerprint.

Cite this