Our Cyber Weeks Sale has begun: Stock up on $7 Computer Science eBooks today!

Lecture Notes in Computer Science

Programming Languages Implementation and Logic Programming

International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings

Editors: Deransart, Pierre, Lorho, Bernard, Maluszynski, Jan (Eds.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-46092-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-50820-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology.

Table of contents (18 chapters)

  • Static analysis of functional programs with logical variables

    Lindstrom, Gary

    Pages 1-19

  • Towards a clean amalgamation of logic programs with external procedures

    Bonnier, Staffan (et al.)

    Pages 20-34

  • An application of abstract interpretation in source level program transformation

    Schreye, Daniel (et al.)

    Pages 35-57

  • A tool to check the non-floundering logic programs and goals

    Barbuti, Roberto (et al.)

    Pages 58-67

  • Towards a framework for the abstract interpretation of logic programs

    Nilsson, Ulf

    Pages 68-82

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-46092-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-50820-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages Implementation and Logic Programming
Book Subtitle
International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
Editors
  • Pierre Deransart
  • Bernard Lorho
  • Jan Maluszynski
Series Title
Lecture Notes in Computer Science
Series Volume
348
Copyright
1989
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46092-3
DOI
10.1007/3-540-50820-1
Softcover ISBN
978-3-540-50820-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 308
Topics