Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

Programming Language Implementation and Logic Programming

International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings

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

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46298-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-53010-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.

Table of contents (26 chapters)

Table of contents (26 chapters)
  • Implementing parallel rewriting

    Pages 1-15

    Kirchner, Claude (et al.)

  • Compilation of narrowing

    Pages 16-29

    Mück, Andy

  • Inference-based overloading resolution for ADA

    Pages 30-44

    Grosch, Franz-Josef (et al.)

  • An approach to verifiable compiling specification and prototyping

    Pages 45-59

    Bowen, Jonathan (et al.)

  • Bug localization by algorithmic debugging and program slicing

    Pages 60-74

    Kamkar, Mariam (et al.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-46298-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-53010-7
  • 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 Language Implementation and Logic Programming
Book Subtitle
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings
Editors
  • Pierre Deransart
  • Jan Maluszynski
Series Title
Lecture Notes in Computer Science
Series Volume
456
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46298-9
DOI
10.1007/BFb0024171
Softcover ISBN
978-3-540-53010-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VII, 542
Topics