skip to content
Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings Preview this item
ClosePreview this item
Checking...

Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings

Author: Hugh Glaser; Pieter H Hartel; Herbert Kuchen
Publisher: Berlin ; London : Springer, ©1997.
Series: Lecture notes in computer science, 1292.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September  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: Kongress
Conference papers and proceedings
Southampton (1997)
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Hugh Glaser; Pieter H Hartel; Herbert Kuchen
ISBN: 3540633987 9783540633983
OCLC Number: 37726067
Description: xi, 424 pages : illustrations ; 24 cm.
Contents: Narrowing the narrowing space.- An object calculus with algebraic rewriting.- Inheritance and selective method dispatching in concurrent Haskell.- Overriding operators in a mixin-based framework.- Resolution for logic programming with universal quantifiers.- A declarative approach to concurrent programming.- Transformation of divide & conquer to nested parallel loops.- Transforming lazy functions using comportment properties.- Transformations for efficient evaluations in functional programming.- Inline expansion: When and how?.- Higher-order value flow graphs.- Intuitionistic implication in abstract interpretation.- An open-ended finite domain constraint solver.- Semantics and compilation of recursive sequential streams in 81/2.- Implementation of term rewritings with the evaluation strategy.- Reflections on reflections.- Evaluation under lambda abstraction.- Selective recomputation for handling side-effects in parallel logic programs.- Tracing lazy functional computations using redex trails.- Functional programming and geometry.- Where do I begin? A problem solving approach in teaching functional programming.- Teaching functional and logic programming with a single computation model.- Logic implemented functionally.- DrScheme: A pedagogic programming environment for scheme.- An editor for helping novices to learn standard ML.- Introducing the declarative dungeon.- A pragmatic approach to compilation of Erlang.- Formal translations described by translation grammars with LR(k) input grammars.- Automatic run-time code generation in object-oriented languages.
Series Title: Lecture notes in computer science, 1292.
Responsibility: Hugh Glaser, Pieter Hartel, Herbert Kuchen (eds.).

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/37726067> # Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "37726067" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774317620#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://experiment.worldcat.org/entity/work/data/774317620#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/774317620#Topic/electronic_digital_computers> ; # Electronic digital computers
   schema:about <http://experiment.worldcat.org/entity/work/data/774317620#Topic/implementierung> ; # Implementierung
   schema:about <http://dewey.info/class/005.13/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/774317620#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/774317620#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://id.worldcat.org/fast/907122> ; # Electronic digital computers
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/774317620#Topic/programmeertalen> ; # Programmeertalen
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/17146216546809090644> ; # Pieter H. Hartel
   schema:contributor <http://viaf.org/viaf/30266995> ; # Hugh Glaser
   schema:contributor <http://viaf.org/viaf/115266423> ; # Herbert Kuchen
   schema:copyrightYear "1997" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/774317620#Meeting/plilp_97_conference_southampton_england> ; # PLILP '97 (Conference) (Southampton, England)
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/774317620> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Southampton (1997)"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Kongress"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings"@en ;
   schema:productID "37726067" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/37726067#PublicationEvent/berlin_london_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/774317620#Agent/springer> ; # Springer
   schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
   schema:workExample <http://worldcat.org/isbn/9783540633983> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9759386> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/37726067> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/774317620#Meeting/plilp_97_conference_southampton_england> # PLILP '97 (Conference) (Southampton, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/774317620#Place/southampton_england> ; # (Southampton, England)
   schema:name "PLILP '97 (Conference) (Southampton, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774317620#Place/southampton_england> # (Southampton, England)
    a schema:Place ;
   schema:name "(Southampton, England)" ;
    .

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

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

<http://id.worldcat.org/fast/907122> # Electronic digital computers
    a schema:Intangible ;
   schema:name "Electronic digital computers"@en ;
    .

<http://viaf.org/viaf/115266423> # Herbert Kuchen
    a schema:Person ;
   schema:birthDate "1958" ;
   schema:familyName "Kuchen" ;
   schema:givenName "Herbert" ;
   schema:name "Herbert Kuchen" ;
    .

<http://viaf.org/viaf/17146216546809090644> # Pieter H. Hartel
    a schema:Person ;
   schema:familyName "Hartel" ;
   schema:givenName "Pieter H." ;
   schema:name "Pieter H. Hartel" ;
    .

<http://viaf.org/viaf/30266995> # Hugh Glaser
    a schema:Person ;
   schema:familyName "Glaser" ;
   schema:givenName "Hugh" ;
   schema:name "Hugh Glaser" ;
    .

<http://worldcat.org/isbn/9783540633983>
    a schema:ProductModel ;
   schema:isbn "3540633987" ;
   schema:isbn "9783540633983" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/37726067> ; # Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/37726067>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/37726067> ; # Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings
   schema:dateModified "2018-03-11" ;
   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.