Research Catalog

Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings

Title
Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, eds.
Author
PLILP '95 (1995 : Utrecht, Netherlands)
Publication
Berlin ; New York : Springer, ©1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.7 .I5773 1995Off-site

Details

Additional Authors
  • Hermenegildo, Manuel.
  • Swierstra, S. Doaitse.
Description
xi, 466 pages : illustrations; 24 cm
Summary
"This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report research on declarative programming languages and provide insights in the relation between the logic of those languages, implementation techniques, and the use of these languages in constructing real programs. In addition there are abstracts or full presentations of three invited talks as well as eight posters and demonstrations."--PUBLISHER'S WEBSITE.
Series Statement
Lecture notes in computer science ; 982
Uniform Title
Lecture notes in computer science ; 982.
Subject
  • Programming languages (Electronic computers) > Congresses
  • Logic programming > Congresses
  • Logic programming
  • Programming languages (Electronic computers)
  • Programmeertalen
  • Functional programming (Computer science) > Congresses
  • Langages de programmation > Congrès
  • Programmation logique > Congrès
Genre/Form
Conference papers and proceedings.
Bibliography (note)
  • Includes bibliographical references and index.
Contents
Towards a Taxonomy of Functional Language Implementations / Remi Douence and Pascal Fradet -- A [lambda]-Calculus a la De Bruijn with Explicit Substitutions / Fairouz Kamareddine and Alejandro Rios -- A Verified Implementation of Narrowing / Heinz Fassbender -- A New Calculus for Semantic Matching / Bernd Butow, Robert Giegerich, Enno Ohlebusch and Stephan Thesing -- A Complete Narrowing Calculus for Higher-Order Functional Logic Programming / Koichi Nakahara, Aart Middeldorp and Tetsuo Ida -- Exploiting Parallelism in Tabled Evaluations / Juliana Freire, Rui Hu, Terrance Swift and David S. Warren -- Design and Implementation of Jump Tables for Fast Indexing of Logic Programs / Steven Dawson, C.R. Ramakrishnan and I.V. Ramakrishnan -- An Abstract Machine for Oz / Michael Mehl, Ralf Scheidhauer and Christian Schulte -- Uniform PERs and Comportment Analysis / Alan Mycroft and Kirsten Lackner Solberg -- Uniqueness Type Inference / Erik Barendsen and Sjaak Smetsers.
ISBN
  • 354060359X
  • 9783540603597
LCCN
95232662
OCLC
  • ocm33351222
  • 33351222
  • SCSB-2067166
Owning Institutions
Princeton University Library