Logic Programming Languages: Constraints, Functions, and Objects by Krzysztof R. Apt (PDF)

    1

     

    Ebook Info

    • Published: 1993
    • Number of pages: 224 pages
    • Format: PDF
    • File Size: 54.21 MB
    • Authors: Krzysztof R. Apt

    Description

    This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

    User’s Reviews

    Editorial Reviews: About the Author Krzysztof R. Apt is Professor at the Centrum voor Wiskinde en Informatica in Amsterdam.J. W. de Bakker is Professor at the Centrum voor Wiskinde en Informatica in Amsterdam.J. M. Rutten is Research Scientist at the Centrum voor Wiskinde en Informatica in Amsterdam.

    Reviews from Amazon users which were colected at the time this book was published on the website:

    Keywords

    Free Download Logic Programming Languages: Constraints, Functions, and Objects in PDF format
    Logic Programming Languages: Constraints, Functions, and Objects PDF Free Download
    Download Logic Programming Languages: Constraints, Functions, and Objects 1993 PDF Free
    Logic Programming Languages: Constraints, Functions, and Objects 1993 PDF Free Download
    Download Logic Programming Languages: Constraints, Functions, and Objects PDF
    Free Download Ebook Logic Programming Languages: Constraints, Functions, and Objects

    Previous articleTools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint … (Lecture Notes in Computer Science, 7795) 2013th Edition by Nir Piterman (PDF)
    Next articleLogic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2) by Lawrence C. Paulson (PDF)