Cover Image

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /

Show other versions (1)

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. Thi...

Full description

Bibliographic Details
Corporate Authors: Foundations of Logic and Functional Programming Workshop Trento, Italy, SpringerLink (Online service)
Other Authors: Boscarol, M. (Mauro), 1947-, Carlucci Aiello, L. (Luigia), 1946-, Levi, G. (Giorgio), 1942-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1988]
Series:Lecture notes in computer science ; 306.
Subjects:
Functional programming (Computer science) > Congresses.
Logic, Symbolic and mathematical > Congresses.
programmation fonctionnelle.
programmation en logique.
Logique symbolique et mathématique > Congrès.
Programmation fonctionnelle > Congrès.
Programmation logique > Congrès.
Logisch programmeren.
Functionele programmering.
Functional programming (Computer science)
Logic, Symbolic and mathematical.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Contents: Invited Contributions: C. Talcott: Rum. An Intensional Theory of Function and Control Abstractions
  • L. Cardelli: Typechecking Dependent Types and Subtypes
  • C. Bhm: Reducing Recursion to Iteration by Means of Pairs and N-tuples
  • J.-L. Lassez, M.J. Maher, K. Marriott: Unification Revisited
  • C. Zaniolo, D. Sacc: Rule Rewriting Methods for Efficient Implementations of Horn logic
  • Submitted Contributions: P. Miglioli, U. Moscato, M. Ornaghi: PAP: A logic Programming System Based on a Constructive Logic. E. Giovannetti, C. Moiso: A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. N. Guarino: Representing Domain Structure of Many-sorted Prolog Knowledge Bases. A. D'Angelo: Horn: An Inference Engine Prototype to Implement Intelligent Systems. E.G. Omodeo: Hints for the Design of a Set Calculus Oriented to Automated Deduction.