skip to content
Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings Preview this item
ClosePreview this item
Checking...

Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

Author: Pierre Deransart; Bernard Lorho; J Małuszyński
Publisher: Berlin ; New York : Springer-Verlag, ©1989.
Series: Lecture notes in computer science, 348.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic resources (Books)
Conference papers and proceedings
Congressen (vorm)
Congresses
Additional Physical Format: Print version:
PLILP '88 (1988 : Orléans, France).
Programming languages implementation and logic programming.
Berlin ; New York : Springer-Verlag, ©1989
(DLC) 89004195
(OCoLC)19128602
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Pierre Deransart; Bernard Lorho; J Małuszyński
ISBN: 3540508201 9783540508205 9783540460923 3540460926
OCLC Number: 805896088
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011. MiAaHDL
Description: 1 online resource (vi, 299 pages) : illustrations.
Details: 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.
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.
Series Title: Lecture notes in computer science, 348.
Responsibility: P. Deransart, B. Lorho, J. Małuszyński, eds.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/805896088> # Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "805896088" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/143672237#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/langages_de_programmation_congres> ; # Langages de programmation--Congrès
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/programmation_logique_congres> ; # Programmation logique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/functionele_programmering> ; # Functionele programmering
    schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/programmeertalen> ; # Programmeertalen
    schema:about <http://dewey.info/class/005.13/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/logic_programming> ; # Logic programming
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/92083575> ; # Bernard Lorho
    schema:contributor <http://viaf.org/viaf/110262336> ; # Jan Małuszyński
    schema:contributor <http://viaf.org/viaf/51778905> ; # Pierre Deransart
    schema:copyrightYear "1989" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/143672237#Meeting/plilp_88_1988_orleans_france> ; # PLILP '88 (1988 : Orléans, France)
    schema:datePublished "1989" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/143672237> ;
    schema:genre "Electronic resources (Books)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Congressen (vorm)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/143672237#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/19128602> ;
    schema:name "Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings"@en ;
    schema:productID "805896088" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/805896088#PublicationEvent/berlin_new_york_springer_verlag_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/143672237#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/19128602.html> ;
    schema:url <http://dx.doi.org/10.1007/3-540-50820-1> ;
    schema:url <http://books.google.com/books?id=oEwVAQAAIAAJ> ;
    schema:url <http://link.springer.com/10.1007/3-540-50820-1> ;
    schema:workExample <http://worldcat.org/isbn/9783540508205> ;
    schema:workExample <http://worldcat.org/isbn/9783540460923> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/805896088> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Place/orleans_france> # Orléans, France)
    a schema:Place ;
    schema:name "Orléans, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/805896088> ; # Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Topic/functionele_programmering> # Functionele programmering
    a schema:Intangible ;
    schema:name "Functionele programmering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Topic/langages_de_programmation_congres> # Langages de programmation--Congrès
    a schema:Intangible ;
    schema:name "Langages de programmation--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/143672237#Topic/programmation_logique_congres> # Programmation logique--Congrès
    a schema:Intangible ;
    schema:name "Programmation logique--Congrès"@fr ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://viaf.org/viaf/110262336> # Jan Małuszyński
    a schema:Person ;
    schema:birthDate "1941" ;
    schema:familyName "Małuszyński" ;
    schema:givenName "Jan" ;
    schema:givenName "J." ;
    schema:name "Jan Małuszyński" ;
    .

<http://viaf.org/viaf/51778905> # Pierre Deransart
    a schema:Person ;
    schema:familyName "Deransart" ;
    schema:givenName "Pierre" ;
    schema:name "Pierre Deransart" ;
    .

<http://viaf.org/viaf/92083575> # Bernard Lorho
    a schema:Person ;
    schema:familyName "Lorho" ;
    schema:givenName "Bernard" ;
    schema:name "Bernard Lorho" ;
    .

<http://worldcat.org/isbn/9783540460923>
    a schema:ProductModel ;
    schema:isbn "3540460926" ;
    schema:isbn "9783540460923" ;
    .

<http://worldcat.org/isbn/9783540508205>
    a schema:ProductModel ;
    schema:isbn "3540508201" ;
    schema:isbn "9783540508205" ;
    .

<http://www.worldcat.org/oclc/19128602>
    a schema:CreativeWork ;
    rdfs:label "Programming languages implementation and logic programming." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/805896088> ; # Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/805896088>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/805896088> ; # Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings
    schema:dateModified "2017-11-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.