skip to content
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings Preview this item
ClosePreview this item
Checking...

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Author: Manuel Hermenegildo; Jaan Penjam
Publisher: Berlin ; New York : Springer-Verlag, ©1994.
Series: Lecture notes in computer science, 844.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:
"This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic resources (Books)
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Manuel Hermenegildo; Jaan Penjam
ISBN: 3540584021 9783540584025 0387584021 9780387584027
OCLC Number: 30979017
Description: xii, 468 pages : illustrations ; 24 cm.
Contents: Concurrent constraint programming.- Specifications using multiple-conclusion logic programs.- Viewing a program transformation system at work.- A portable and efficient implementation of KL1.- Why Multi-SLD beats SLD (even on a uniprocessor).- Abstracting synchronization in concurrent constraint programming.- A novel term compression scheme and data representation in the BinWAM.- A simple and efficient copying garbage collector for prolog.- Deriving residual reference count garbage collectors.- RML - A new language and implementation for Natural Semantics.- Towards a provably correct compiler for OBJ3.- An implementation technique for a class of bottom-up procedures.- Partial deduction and driving are equivalent.- Partial continuations as the difference of continuations a duumvirate of control operators.- Hand-writing program generator generators.- A logic for encapsulation in object oriented languages.- Annotated constraint logic programming applied to temporal reasoning.- Clp(B): Combining simplicity and efficiency in boolean Constraint solving.- Handling preferences in constraint logic programming with relational optimization.- Improving search for job-shop scheduling with CLP(FD).- Implementations of program composition operations.- Sleepers: a versatile high-level control mechanism.- Improving arithmetic performance using fine-grain unfolding.- Unfold/fold transformations for definite clause programs.- A graph reduction technique with sharing across narrowings for functional-logic languages.- Combining lazy narrowing and simplification.- Combining lazy narrowing with disequality constraints.- Abstracting numerical values in CLP(H,N).- Dynamic dependence in term rewriting systems and its application to program slicing.- Abstracting s-semantics using a model-theoretic approach.- Using higher-order control flow analysis when compiling functional languages.- Readable, runnable requirements specifications in SPILL-2.- A system to visualize and interact with prolog programs.- Semantic-based static program transformations for memory space and run time optimization in hybrid languages.- Towards a constraint functional logic compiler for symbolic computation systems.- PROMAL - Programming in modal action logic.- Implementing the synthesis of properties in unfold/fold transformations.- Shared memory system for Babel: a VHDL specification.- Towards integrating functional and logic styles using relation.- Tabulation of functions in definite clause programs.- Flang system: A new version.
Series Title: Lecture notes in computer science, 844.
Responsibility: Manuel Hermenegildo, Jaan Penjam, eds.
More information:

Abstract:

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994.  Read more...

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/30979017> # Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "30979017" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/143672237#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://dewey.info/class/005.131/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/143672237#Topic/logic_programming> ; # Logic programming
   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/1078704> ; # Programming languages (Electronic computers)
   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/logisch_programmeren> ; # Logisch programmeren
   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:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/113261001> ; # Jaan Penjam
   schema:contributor <http://viaf.org/viaf/22817699> ; # Manuel Hermenegildo
   schema:copyrightYear "1994" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/143672237#Meeting/plilp_94_1994_madrid_spain> ; # PLILP '94 (1994 : Madrid, Spain)
   schema:datePublished "1994" ;
   schema:description ""This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation."--PUBLISHER'S WEBSITE."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/143672237> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic resources (Books)"@en ;
   schema:genre "Conference papers and proceedings"@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:name "Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings"@en ;
   schema:productID "30979017" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30979017#PublicationEvent/berlin_new_york_springer_verlag_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/143672237#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=844> ;
   schema:url <http://dx.doi.org/10.1007/3-540-58402-1> ;
   schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
   schema:workExample <http://worldcat.org/isbn/9783540584025> ;
   schema:workExample <http://worldcat.org/isbn/9780387584027> ;
   umbel:isLike <http://d-nb.info/941857360> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30979017> ;
    .


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#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30979017> ; # Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : 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"@en ;
   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/programmation_logique_congres> # Programmation logique--Congrès
    a schema:Intangible ;
   schema:name "Programmation logique--Congrès"@en ;
   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/113261001> # Jaan Penjam
    a schema:Person ;
   schema:birthDate "1955" ;
   schema:familyName "Penjam" ;
   schema:givenName "Jaan" ;
   schema:name "Jaan Penjam" ;
    .

<http://viaf.org/viaf/22817699> # Manuel Hermenegildo
    a schema:Person ;
   schema:familyName "Hermenegildo" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Hermenegildo" ;
    .

<http://worldcat.org/isbn/9780387584027>
    a schema:ProductModel ;
   schema:isbn "0387584021" ;
   schema:isbn "9780387584027" ;
    .

<http://worldcat.org/isbn/9783540584025>
    a schema:ProductModel ;
   schema:isbn "3540584021" ;
   schema:isbn "9783540584025" ;
    .

<http://www.worldcat.org/title/-/oclc/30979017>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/30979017> ; # Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
   schema:dateModified "2017-12-25" ;
   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.