Logic Programming Languages - Constraints, Functions, and Objects

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.

A propos de l'auteur

J. W. de Bakker is Professor at the Centrum voor Wiskinde en Informatica in Amsterdam.

Résumé

This collection of current research presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming.

Détails du produit

• Auteurs: Krzysztof R. Bakker Apt
• Collaboration: K. R. Apt (Editeur), Krzysztof R. Apt (Editeur), J. W. de Bakker (Editeur), J. W. De Bakker (Editeur), J. J. M. M. Rutten (Editeur), J. M. Rutten (Editeur)
• Edition: The MIT Press
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 02.03.1993
• EAN: 9780262511674
• ISBN: 978-0-262-51167-4
• Pages: 224
• Thèmes: Logic Programming; MIT Press Classics; Logic Programming Languages; Logic Programming
• Catégories: Livres de conseils; Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Général, dictionnaires