skip to content
Functional and logic programming : 6th international symposium ; proceedings Preview this item
ClosePreview this item
Checking...

Functional and logic programming : 6th international symposium ; proceedings

Author: Zhenjiang Hu; Mario Rodríguez Artalejo; FLOPS
Publisher: Berlin [u.a.] Springer 2002
Series: Lecture notes in computer science, 2441
Edition/Format:   Computer file : English
Summary:

Constituting the proceedings of the 6th International Symposium on Functional and Logic Programming, held in Aizu, Japan, this volume contains 15 revised full papers and three full invited papers,  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

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Zhenjiang Hu; Mario Rodríguez Artalejo; FLOPS
ISBN: 3540442332 9783540442332
OCLC Number: 845573465
Notes: Literaturangaben
Description: Online-Ressource (X, 304 S.)
Contents: Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Gates of HAL: A HAL Tutorial.- Tutorial Paper.- Functional Logic Design Patterns.- Constraints.- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms.- Program Transformation and Analysis.- On the Correctness of the Factoring Transformation.- Lambda-Lifting in Quadratic Time.- Semantics.- The Well-Founded Semantics in Normal Logic Programs with Uncertainty.- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.- Coinductive Interpreters for Process Calculi.- Rewriting.- Descendants and Head Normalization of Higher-Order Rewrite Systems.- Narrowing Failure in Functional Logic Programming.- Compilation Techniques.- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.- Dynamic-Cut with Definitional Trees.- Programming Methodology.- The Head Condition and Polymorphic Recursion.- Structural Abstraction and Application in Logic Programming.- VM?: A Functional Calculus for Scientific Discovery.
Series Title: Lecture notes in computer science, 2441
Responsibility: FLOPS 2002, Aizu, Japan, September 15 - 17, 2002. Zhenjiang Hu; Mario Rodríguez-Artalejo (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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/845573465<\/a>> # Functional and logic programming : 6th international symposium ; proceedings<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:ComputerFile<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"845573465<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/berlin_u_a<\/a>> ; # Berlin u.a.<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/funktionale_programmierung<\/a>> ; # Funktionale Programmierung<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/online_publikation<\/a>> ; # Online-Publikation<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/functional_programming_computer_science_congresses<\/a>> ; # Functional programming (Computer science)--Congresses<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/logic_programming_congresses<\/a>> ; # Logic programming--Congresses<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/logische_programmierung<\/a>> ; # Logische Programmierung<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Thing\/kongress<\/a>> ; # Kongress<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/005.114\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/aizu_daigaku_2002<\/a>> ; # Aizu Daigaku <2002><\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Meeting\/flops_2002_6_2002_09_15_17_aizu_daigaku_japan<\/a>> ; # FLOPS 2002 (6 2002.09.15-17 Aizu Daigaku, Japan)<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/27167988<\/a>> ; # Mario Rodr\u00EDguez Artalejo<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/32921480<\/a>> ; # Zhenjiang Hu<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/142846757<\/a>> ; # FLOPS<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Meeting\/fuji_international_symposium_on_functional_and_logic_programming_6_2002_09_15_17_aizu_daigaku_japan<\/a>> ; # Fuji International Symposium on Functional and Logic Programming (6 2002.09.15-17 Aizu Daigaku, Japan)<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2002<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/8912636692<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Series\/lecture_notes_in_computer_science<\/a>> ; # Lecture notes in computer science<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Series\/<\/a>> ; # <\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Functional and logic programming : 6th international symposium ; proceedings<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"845573465<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/845573465#PublicationEvent\/berlin_u_a_springer2002<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Agent\/springer<\/a>> ; # Springer<\/span>\n\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/www.springerlink.com\/openurl.asp?genre=issue&issn=03029743&volume=2441&issue=preprint<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/deposit.ddb.de\/cgi-bin\/dokserv?idn=967772656<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/dx.doi.org\/10.1007\/3540457887<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/dx.doi.org\/10.1007\/3540457887<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783540442332<\/a>> ;\u00A0\u00A0\u00A0\numbel:isLike<\/a> <http:\/\/d-nb.info\/967772656<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/845573465<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/005.114\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dx.doi.org\/10.1007\/3540457887<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:IndividualProduct<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Agent\/springer<\/a>> # Springer<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Springer<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Meeting\/flops_2002_6_2002_09_15_17_aizu_daigaku_japan<\/a>> # FLOPS 2002 (6 2002.09.15-17 Aizu Daigaku, Japan)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/aizu_daigaku_japan<\/a>> ; # Aizu Daigaku, Japan)<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"FLOPS 2002 (6 2002.09.15-17 Aizu Daigaku, Japan)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Meeting\/fuji_international_symposium_on_functional_and_logic_programming_6_2002_09_15_17_aizu_daigaku_japan<\/a>> # Fuji International Symposium on Functional and Logic Programming (6 2002.09.15-17 Aizu Daigaku, Japan)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/aizu_daigaku_japan<\/a>> ; # Aizu Daigaku, Japan)<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Fuji International Symposium on Functional and Logic Programming (6 2002.09.15-17 Aizu Daigaku, Japan)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/aizu_daigaku_2002<\/a>> # Aizu Daigaku <2002><\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Aizu Daigaku <2002><\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/aizu_daigaku_japan<\/a>> # Aizu Daigaku, Japan)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Aizu Daigaku, Japan)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/berlin_u_a<\/a>> # Berlin u.a.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Berlin u.a.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Series\/<\/a>> # <\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/845573465<\/a>> ; # Functional and logic programming : 6th international symposium ; proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Series\/lecture_notes_in_computer_science<\/a>> # Lecture notes in computer science<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/845573465<\/a>> ; # Functional and logic programming : 6th international symposium ; proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Thing\/kongress<\/a>> # Kongress<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Kongress<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/functional_programming_computer_science_congresses<\/a>> # Functional programming (Computer science)--Congresses<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Functional programming (Computer science)--Congresses<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/funktionale_programmierung<\/a>> # Funktionale Programmierung<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Funktionale Programmierung<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/logic_programming_congresses<\/a>> # Logic programming--Congresses<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic programming--Congresses<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/logische_programmierung<\/a>> # Logische Programmierung<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logische Programmierung<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Topic\/online_publikation<\/a>> # Online-Publikation<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Online-Publikation<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/142846757<\/a>> # FLOPS<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Organization<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"FLOPS<\/span>\" ;\u00A0\u00A0\u00A0\nschema:sameAs<\/a> <http:\/\/d-nb.info\/gnd\/10042603-7<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/27167988<\/a>> # Mario Rodr\u00EDguez Artalejo<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Rodr\u00EDguez Artalejo<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Mario<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mario Rodr\u00EDguez Artalejo<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/32921480<\/a>> # Zhenjiang Hu<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1966<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Hu<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Zhenjiang<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Zhenjiang Hu<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783540442332<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3540442332<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783540442332<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/845573465<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/845573465<\/a>> ; # Functional and logic programming : 6th international symposium ; proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-02-12<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/845573465#PublicationEvent\/berlin_u_a_springer2002<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Place\/berlin_u_a<\/a>> ; # Berlin u.a.<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8912636692#Agent\/springer<\/a>> ; # Springer<\/span>\n\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"2002<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n