skip to content
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings Preview this item
ClosePreview this item
Checking...

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings

Author: Jacques Garrigue; Manuel Hermenegildo
Publisher: Berlin ; New York : Springer, 2008.
Series: Lecture notes in computer science, 4989.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions  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 books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Fuji International Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan).
Functional and logic programming.
Berlin ; New York : Springer, 2008
(OCoLC)229459637
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jacques Garrigue; Manuel Hermenegildo
ISBN: 9783540789697 3540789693 9783540789680 3540789685
OCLC Number: 233974063
Description: 1 online resource (xi, 336 pages) : illustrations.
Contents: Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program Analysis.- Refereed Papers.- Integrating Answer Set Reasoning with Constraint Solving Techniques.- Optimizing Compilation of CHR with Rule Priorities.- Constructive Arithmetic.- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).- Dependent Types.- On-Demand Refinement of Dependent Types.- Proving Properties about Lists Using Containers.- Rewriting.- Termination of Narrowing in Left-Linear Constructor Systems.- Complexity Analysis by Rewriting.- Rewriting and Call-Time Choice: The HO Case.- Program Transformation.- Semantics and Pragmatics of New Shortcut Fusion Rules.- A Generalization of the Folding Rule for the Clark-Kunen Semantics.- Logic and Lambda-Calculus.- Types for Hereditary Head Normalizing Terms.- A New Translation for Semi-classical Theories - Backtracking without CPS.- Types.- Undoing Dynamic Typing (Declarative Pearl).- Typed Dynamic Control Operators for Delimited Continuations.- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.- Constraints II.- Quantitative Logic Programming Revisited.- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.- Debugging.- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.- EasyCheck - Test Data for Free.
Series Title: Lecture notes in computer science, 4989.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: FLOPS 2008
Responsibility: Jacques Garrigue, Manuel Hermenegildo (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/233974063> # Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "233974063" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856262173#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://dewey.info/class/005.115/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3856262173#Topic/logic_programming> ; # Logic programming
    schema:about <http://id.worldcat.org/fast/936086> ; # Functional programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856262173#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:alternateName "FLOPS 2008" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/22817699> ; # Manuel Hermenegildo
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3856262173#Person/garrigue_jacques> ; # Jacques Garrigue
    schema:creator <http://experiment.worldcat.org/entity/work/data/3856262173#Meeting/fuji_international_symposium_on_functional_and_logic_programming_9th_2008_ise_shi_japan> ; # Fuji International Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan)
    schema:datePublished "2008" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3856262173> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856262173#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856262173#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://www.worldcat.org/oclc/229459637> ;
    schema:name "Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings"@en ;
    schema:productID "233974063" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/233974063#PublicationEvent/berlin_new_york_springer_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3856262173#Agent/springer> ; # Springer
    schema:url <http://dl.acm.org/citation.cfm?id=1788446> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-78968-0> ;
    schema:url <http://www.springerlink.com/content/l0797627u521/?p=9ebbe60058754e0b892d42a4bfcdb023&pi=29> ;
    schema:url <http://dx.doi.org/10.1007/978-3-540-78969-7> ;
    schema:url <http://www.myilibrary.com?id=185668> ;
    schema:workExample <http://worldcat.org/isbn/9783540789697> ;
    schema:workExample <http://worldcat.org/isbn/9783540789680> ;
    umbel:isLike <http://d-nb.info/987816446> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/233974063> ;
    .


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/3856262173#Meeting/fuji_international_symposium_on_functional_and_logic_programming_9th_2008_ise_shi_japan> # Fuji International Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3856262173#Place/ise_shi_japan> ; # Ise-shi, Japan)
    schema:name "Fuji International Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856262173#Person/garrigue_jacques> # Jacques Garrigue
    a schema:Person ;
    schema:familyName "Garrigue" ;
    schema:givenName "Jacques" ;
    schema:name "Jacques Garrigue" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856262173#Place/ise_shi_japan> # Ise-shi, Japan)
    a schema:Place ;
    schema:name "Ise-shi, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856262173#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/233974063> ; # Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/3856262173#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/233974063> ; # Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

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

<http://id.worldcat.org/fast/936086> # Functional programming (Computer science)
    a schema:Intangible ;
    schema:name "Functional programming (Computer science)"@en ;
    .

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

<http://worldcat.org/isbn/9783540789680>
    a schema:ProductModel ;
    schema:isbn "3540789685" ;
    schema:isbn "9783540789680" ;
    .

<http://worldcat.org/isbn/9783540789697>
    a schema:ProductModel ;
    schema:isbn "3540789693" ;
    schema:isbn "9783540789697" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/233974063> ; # Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/229459637>
    a schema:CreativeWork ;
    rdfs:label "Functional and logic programming." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/233974063> ; # Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/233974063>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/233974063> ; # Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings
    schema:dateModified "2016-12-08" ;
    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.