skip to content
Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers Preview this item
ClosePreview this item
Checking...

Functional and Constraint Logic Programming : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Author: Santiago Escobar
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Series: Lecture notes in computer science, 5979
Edition/Format:   Computer file : English : Online-ausgView all editions and formats
Database:WorldCat
Summary:

Constitutes the refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part 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

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Santiago Escobar
ISBN: 9783642119996 3642119999 9783642119989 3642119980
OCLC Number: 643270179
Reproduction Notes: Online-Ausg. Berlin [u.a.] Springer, 2010. online-Ressource.
Description: S.
Contents: Invited Papers.- Programming with Multiple Paradigms in Lua.- Constraint Based Strategies.- Contributed Papers.- Integrating ILOG CP Technology into .- Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.- Semantic Labelling for Proving Termination of Combinatory Reduction Systems.- A Taxonomy of Some Right-to-Left String-Matching Algorithms.- Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.- Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.- New Results on Type Systems for Functional Logic Programming.- A Simple Region Inference Algorithm for a First-Order Functional Language.- A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.
Series Title: Lecture notes in computer science, 5979
Responsibility: edited by Santiago Escobar.

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/643270179> # Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "643270179" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/909117454#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://experiment.worldcat.org/entity/work/data/909117454#Topic/software_engineering> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/909117454#Topic/logic_design> ; # Logic design
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://dewey.info/class/005.131/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/909117454#Topic/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/909117454#Topic/computer_science> ; # Computer science
   schema:author <http://experiment.worldcat.org/entity/work/data/909117454#Person/escobar_santiago> ; # Santiago Escobar
   schema:bookEdition "Online-ausg." ;
   schema:datePublished "2010" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/909117454> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/909117454#Series/> ; #
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/909117454#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers" ;
   schema:productID "643270179" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/643270179#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/909117454#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/978-3-642-11999-6> ;
   schema:url <http://swbplus.bsz-bw.de/bsz322305209cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783642119996> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-11999-6> ;
   schema:workExample <http://worldcat.org/isbn/9783642119989> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/643270179> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/909117454#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117454#Person/escobar_santiago> # Santiago Escobar
    a schema:Person ;
   schema:familyName "Escobar" ;
   schema:givenName "Santiago" ;
   schema:name "Santiago Escobar" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117454#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117454#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/643270179> ; # Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117454#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/643270179> ; # Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117454#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117454#Topic/computer_science> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
   schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/909117454#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://worldcat.org/isbn/9783642119989>
    a schema:ProductModel ;
   schema:isbn "3642119980" ;
   schema:isbn "9783642119989" ;
    .

<http://worldcat.org/isbn/9783642119996>
    a schema:ProductModel ;
   schema:isbn "3642119999" ;
   schema:isbn "9783642119996" ;
    .

<http://www.worldcat.org/title/-/oclc/643270179>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/643270179> ; # Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
   schema:dateModified "2016-05-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.