skip to content
Programming languages: implementations, logics and programs : 7th international symposium ; proceedings Preview this item
ClosePreview this item
Checking...

Programming languages: implementations, logics and programs : 7th international symposium ; proceedings

Author: Manuel Hermenegildo; PLILP <7, 1995, Utrecht>
Publisher: Berlin [u.a.] : Springer, 1995.
Series: Lecture notes in computer science, Vol. 982
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Programming Languages: Implementations, Logics and Programs.
Database:WorldCat
Summary:

These conference proceedings report research on declarative programming languages and provide insights into the relation between logic of those languages, implmentation techniques, and the use of  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: Kongress
Kongreß
Conference papers and proceedings
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Manuel Hermenegildo; PLILP <7, 1995, Utrecht>
ISBN: 354060359X 9783540603597 038760359X 9780387603599
OCLC Number: 50977475
In: Hermenegildo, Manuel
Notes: Literaturangaben.
Description: XI, 466 S : graph. Darst.
Contents: A generic program for sequential decision processes.- Parsing visual languages with constraint multiset grammars.- Programming with constructor classes.- Towards a taxonomy of functional language implementations.- A ?-calculus a la de Bruijn with explicit substitutions.- A verified implementation of narrowing.- A new calculus for semantic matching.- A complete narrowing calculus for higher-order functional logic programming.- Exploiting parallelism in tabled evaluations.- Design and implementation of jump tables for fast indexing of logic programs.- An abstract machine for Oz.- Uniform PERs and comportment analysis.- Uniqueness type inference.- Modes of comprehension: Mode analysis of arrays and array comprehensions.- Better consumers for deforestation.- Efficient compile-time garbage collection for arbitrary data structures.- Efficient multi-level generating extensions for program specialization.- Mechanically verifying the correctness of an offline partial evaluator.- A semantic model of binding times for safe partial evaluation.- Gadgets: Lazy functional components for graphical user interfaces.- Lightweight GUIs for functional programming.- Local linear logic for locality consciousness in multiset transformation.- The notion of floundering for SLDNF-resolution revisited.- Minimal set unification.- Goal-directed query processing in disjunctive logic databases.- A dataflow semantics for constraint logic programs.- A functional framework for deterministically interleaved interactive programs.- A debugging model for lazy narrowing.- Evaluation of expressions in a multiparadigm framework.- An expression-or-parallel implementation for a functional logic language.- Attributed models of executable specifications.- Approximating constraint logic programs using polymorphic types and regular descriptions.- Performance of a data-parallel concurrent constraint programming system.- A portable implementation of memoing evaluation.
Series Title: Lecture notes in computer science, Vol. 982
Responsibility: PLILP '95, Utrecht, the Netherlands, September 20-22, 1995. Manuel Hermenegildo ... (eds.).
More information:

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/50977475> # Programming languages: implementations, logics and programs : 7th international symposium ; proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "50977475" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3943722455#Place/berlin_u_a> ; # Berlin u.a.
    schema:about <http://experiment.worldcat.org/entity/work/data/3943722455#Topic/programming_languages_electronic_computers_congresses> ; # Programming languages (Electronic computers)--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/3943722455#Topic/implementierung> ; # Implementierung
    schema:about <http://experiment.worldcat.org/entity/work/data/3943722455#Thing/kongress> ; # Kongress
    schema:about <http://dewey.info/class/005.13/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3943722455#Place/utrecht_1995> ; # Utrecht <1995>
    schema:about <http://experiment.worldcat.org/entity/work/data/3943722455#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/3943722455#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3943722455#Person/hermenegildo_manuel> ; # Manuel Hermenegildo
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3943722455#Meeting/international_symposium_on_programming_languages_implementations_logics_and_programs_plilp_7_utrecht_netherlands> ; # International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP) (7 : Utrecht, Netherlands)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3943722455#Organization/plilp_7_1995_utrecht> ; # PLILP <7, 1995, Utrecht>
    schema:datePublished "1995" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3943722455> ;
    schema:genre "Conference papers and proceedings" ;
    schema:genre "Kongress" ;
    schema:genre "Kongreß" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3943722455#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Programming languages: implementations, logics and programs : 7th international symposium ; proceedings" ;
    schema:productID "50977475" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/50977475#PublicationEvent/berlin_u_a_springer_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3943722455#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz048158984cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9780387603599> ;
    schema:workExample <http://worldcat.org/isbn/9783540603597> ;
    umbel:isLike <http://d-nb.info/945257929> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/50977475> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3943722455#Meeting/international_symposium_on_programming_languages_implementations_logics_and_programs_plilp_7_utrecht_netherlands> # International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP) (7 : Utrecht, Netherlands)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3943722455#Place/utrecht_netherlands> ; # Utrecht, Netherlands)
    schema:name "International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP) (7 : Utrecht, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Organization/plilp_7_1995_utrecht> # PLILP <7, 1995, Utrecht>
    a schema:Organization ;
    schema:name "PLILP <7, 1995, Utrecht>" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Person/hermenegildo_manuel> # Manuel Hermenegildo
    a schema:Person ;
    schema:familyName "Hermenegildo" ;
    schema:givenName "Manuel" ;
    schema:name "Manuel Hermenegildo" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Place/utrecht_1995> # Utrecht <1995>
    a schema:Place ;
    schema:name "Utrecht <1995>" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Place/utrecht_netherlands> # Utrecht, Netherlands)
    a schema:Place ;
    schema:name "Utrecht, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/50977475> ; # Programming languages: implementations, logics and programs : 7th international symposium ; proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
    schema:name "Logische Programmierung" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache" ;
    .

<http://experiment.worldcat.org/entity/work/data/3943722455#Topic/programming_languages_electronic_computers_congresses> # Programming languages (Electronic computers)--Congresses
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85107313> ;
    schema:name "Programming languages (Electronic computers)--Congresses" ;
    .

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

<http://worldcat.org/isbn/9780387603599>
    a schema:ProductModel ;
    schema:isbn "038760359X" ;
    schema:isbn "9780387603599" ;
    .

<http://worldcat.org/isbn/9783540603597>
    a schema:ProductModel ;
    schema:isbn "354060359X" ;
    schema:isbn "9783540603597" ;
    .

<http://www.worldcat.org/title/-/oclc/50977475>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/50977475> ; # Programming languages: implementations, logics and programs : 7th international symposium ; proceedings
    schema:dateModified "2016-11-16" ;
    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.