Logic programming for software engineering: A second chance

Kung Kiu Lau, Michel Vanden Bossche

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

    Abstract

    Current trends in Software Engineering and developments in Logic Programming lead us to believe that there will be an opportunity for Logic Programming to make a breakthrough in Software Engineering. In this paper, we explain how this has arisen, and justify our belief with a real-life application. Above all, we invite fellow workers to take up the challenge that the opportunity offers. © Springer-Verlag Berlin Heidelberg 2002.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    Pages437-451
    Number of pages14
    Volume2401
    Publication statusPublished - 2002
    Event18th International Conference on Logic Programming, ICLP 2002 - Copenhagen
    Duration: 1 Jul 2002 → …

    Conference

    Conference18th International Conference on Logic Programming, ICLP 2002
    CityCopenhagen
    Period1/07/02 → …

    Fingerprint

    Dive into the research topics of 'Logic programming for software engineering: A second chance'. Together they form a unique fingerprint.

    Cite this