Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński, eds.

By:

PLILP '88 (1988 : Orléans, France)

Contributor(s):

Material type: Text

text

Media type:

computer

Carrier type:

online resource

ISBN:

3540508201
9783540508205
9783540460923
3540460926

Subject(s): Genre/Form:

Additional physical formats: Print version:: Programming languages implementation and logic programming.DDC classification:

005.13 19

LOC classification:

QA76.7 .I59 1988

Other classification:

54.50
54.51

Online resources:

Click here to access online

Contents:

Functional Programming and Logic Programming -- Abstract Interpretation in Logic Programming -- Logic Programming in Compiler Writing -- Grammars -- Attribute Grammars and Logic Programming -- Attribute Grammars in Logic Programming -- Logic Programming for Programming Environments.

Action note:

digitized 2012 HathiTrust Digital Library committed to preserve

Summary: 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.

Holdings ( 1 )
Title notes ( 9 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

Includes bibliographical references.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2012. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2012 HathiTrust Digital Library committed to preserve pda MiAaHDL

Print version record.

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.