{"id":"https://openalex.org/W2118499864","doi":"https://doi.org/10.1145/1599410.1599420","title":"Set functions for functional logic programming","display_name":"Set functions for functional logic programming","publication_year":2009,"publication_date":"2009-09-07","ids":{"openalex":"https://openalex.org/W2118499864","doi":"https://doi.org/10.1145/1599410.1599420","mag":"2118499864"},"language":"en","primary_location":{"id":"doi:10.1145/1599410.1599420","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1599410.1599420","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012915644","display_name":"Sergio Antoy","orcid":"https://orcid.org/0000-0003-4522-7658"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sergio Antoy","raw_affiliation_strings":["Portland State University, Portland, OR, USA","(Portland State University, Portland, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Portland State University, Portland, OR, USA","institution_ids":["https://openalex.org/I126345244"]},{"raw_affiliation_string":"(Portland State University, Portland, OR, USA","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024421847","display_name":"Michael Hanus","orcid":"https://orcid.org/0000-0002-4953-8202"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Hanus","raw_affiliation_strings":["Christian-Albrechts-University of Kiel, Kiel, Germany","Christian-Albrechts University of Kiel, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-University of Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]},{"raw_affiliation_string":"Christian-Albrechts University of Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"73","last_page":"82"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7361884117126465},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7275567054748535},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5535498261451721},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5440950989723206},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5378974676132202},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5270288586616516},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5127857327461243},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.4847933351993561},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4701896905899048},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.45978620648384094},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4431612491607666},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"Functional logic programming","score":0.43301916122436523},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.42763668298721313},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.41051140427589417},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.295820415019989},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.27135390043258667},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22310352325439453}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7361884117126465},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7275567054748535},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5535498261451721},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5440950989723206},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5378974676132202},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5270288586616516},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5127857327461243},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.4847933351993561},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4701896905899048},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.45978620648384094},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4431612491607666},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.43301916122436523},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.42763668298721313},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.41051140427589417},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.295820415019989},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.27135390043258667},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22310352325439453},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1599410.1599420","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1599410.1599420","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.150.3184","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.3184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-kiel.de/~mh/papers/PPDP09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.159.1781","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.1781","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.pdx.edu/~antoy/homepage/publications/ppdp09/paper.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1325840","https://openalex.org/W1480729609","https://openalex.org/W1510628702","https://openalex.org/W1534776227","https://openalex.org/W1543638694","https://openalex.org/W1573761730","https://openalex.org/W1574082713","https://openalex.org/W1583295953","https://openalex.org/W1605638241","https://openalex.org/W1789818915","https://openalex.org/W1804441019","https://openalex.org/W1833403382","https://openalex.org/W2030556945","https://openalex.org/W2063521547","https://openalex.org/W2070953905","https://openalex.org/W2072132721","https://openalex.org/W2104980999","https://openalex.org/W2106602483","https://openalex.org/W2112087718","https://openalex.org/W2116940213","https://openalex.org/W2124067082","https://openalex.org/W2126018011","https://openalex.org/W2168144301","https://openalex.org/W2169402190","https://openalex.org/W2407568656","https://openalex.org/W2618896829","https://openalex.org/W2913954624","https://openalex.org/W4285719527","https://openalex.org/W7045198211"],"related_works":["https://openalex.org/W2174399230","https://openalex.org/W3004782279","https://openalex.org/W2060445097","https://openalex.org/W2052701393","https://openalex.org/W1879548647","https://openalex.org/W1907246400","https://openalex.org/W4205481509","https://openalex.org/W2438481272","https://openalex.org/W2626721879","https://openalex.org/W4254270758"],"abstract_inverted_index":{"We":[0,82],"propose":[1,83],"a":[2,29,44],"novel":[3],"approach":[4,14,38,59,89,100],"to":[5,54,60],"encapsulate":[6],"non-deterministic":[7,67],"computations":[8],"in":[9,79],"functional":[10,111],"logic":[11,112],"programs.":[12],"Our":[13,99],"is":[15,39,71],"based":[16],"on":[17],"set":[18,23,63],"functions":[19],"that":[20],"return":[21],"the":[22,26,40,55,62,74,95],"of":[24,28,36,64,66,76,87,94,97,110],"all":[25],"results":[27],"corresponding":[30],"ordinary":[31],"operation.":[32],"A":[33],"characteristic":[34],"feature":[35],"our":[37,88],"complete":[41],"separation":[42,52],"between":[43],"usually-non-deterministic":[45],"operation":[46],"and":[47,90,103],"its":[48,92],"possibly-non-deterministic":[49],"arguments.":[50],"This":[51],"leads":[53],"first":[56],"provably":[57],"order-independent":[58],"computing":[61],"values":[65],"expressions.":[68],"The":[69],"proof":[70],"provided":[72],"within":[73],"framework":[75],"graph":[77],"rewriting":[78],"constructor-based":[80],"systems.":[81],"an":[84],"abstract":[85],"implementation":[86],"prove":[91],"independence":[93],"order":[96],"evaluation.":[98],"solves":[101],"easily":[102],"naturally":[104],"problems":[105],"mishandled":[106],"by":[107],"current":[108],"implementations":[109],"languages.":[113]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}