{"id":"https://openalex.org/W2548737403","doi":null,"title":"Modularity in Functional-Logic Programming","display_name":"Modularity in Functional-Logic Programming","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2548737403","mag":"2548737403"},"language":"en","primary_location":{"id":"mag:2548737403","doi":null,"is_oa":false,"landing_page_url":"http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&tp=&arnumber=6279192&","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5013625793","display_name":"Lee Naish","orcid":"https://orcid.org/0000-0001-7185-0115","observed_orcids":["https://orcid.org/0000-0001-7185-0115"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lee Naish","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7185-0115","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5013625793"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"183","last_page":"197"},"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.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.0010999999940395355,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.0010000000474974513,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"functional logic programming","score":0.8730000257492065},{"id":"https://openalex.org/keywords/modularity","display_name":"modularity","score":0.8690000176429749},{"id":"https://openalex.org/keywords/fixpoint-semantics","display_name":"fixpoint semantics","score":0.8240000009536743},{"id":"https://openalex.org/keywords/immediate-consequence-operator","display_name":"immediate consequence operator","score":0.8790000081062317},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"algebraic semantics","score":0.8029999732971191},{"id":"https://openalex.org/keywords/concealment","display_name":"concealment","score":0.5180000066757202},{"id":"https://openalex.org/keywords/export-import","display_name":"export-import","score":0.8880000114440918},{"id":"https://openalex.org/keywords/inheritance-object-oriented-programming","display_name":"inheritance (object-oriented programming)","score":0.9980000257492065},{"id":"https://openalex.org/keywords/term-model","display_name":"term models","score":0.8849999904632568},{"id":"https://openalex.org/keywords/full-abstraction","display_name":"full abstraction","score":0.7490000128746033},{"id":"https://openalex.org/keywords/compositional-semantics","display_name":"compositional semantics","score":0.7979999780654907},{"id":"https://openalex.org/keywords/observability","display_name":"observability","score":0.7620000243186951}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7550567984580994},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6161128282546997},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.5699889063835144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5656331181526184},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.5378237366676331},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5253374576568604},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5133053660392761},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5014703273773193},{"id":"https://openalex.org/C58041814","wikidata":"https://www.wikidata.org/wiki/Q792533","display_name":"Axiomatic semantics","level":5,"score":0.4869130849838257},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.4652133285999298},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45993614196777344},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.4348430633544922},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3316558301448822},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32371509075164795},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.17026129364967346}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2548737403","doi":null,"is_oa":false,"landing_page_url":"http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&tp=&arnumber=6279192&","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2949586550","https://openalex.org/W2543453588","https://openalex.org/W83183590","https://openalex.org/W1828810364","https://openalex.org/W2017160649","https://openalex.org/W2042398609","https://openalex.org/W2102194574","https://openalex.org/W347704223","https://openalex.org/W7095107482","https://openalex.org/W7099414726"],"abstract_inverted_index":{"Constructor-Based":[0],"Conditional":[1],"Rewriting":[2],"Logic":[3],"is":[4,103,108],"a":[5,42,114],"general":[6],"framework":[7],"for":[8,25,37,61,87],"integrating":[9],"first-order":[10],"functional":[11],"and":[12,41,69,80,93,105,110],"logic":[13],"programming":[14],"that":[15,45,63],"has":[16],"been":[17],"investigated":[18],"in":[19],"[9]":[20],"giving":[21],"an":[22,32,54],"algebraic":[23,49],"semantics":[24,44,73,86],"programs.":[26],"In":[27],"this":[28],"paper,":[29],"we":[30,82],"introduce":[31],"immediate":[33],"consequence":[34],"operator":[35,90],"TR":[36,91],"each":[38],"program":[39],"R":[40],"fixpoint":[43,72],"coincides":[46],"with":[47,59],"the":[48,57,89,94,106],"one.":[50],"We":[51],"also":[52],"propose":[53,83],"extension":[55],"of":[56,96,117],"formalism":[58],"constructs":[60,78],"modularization,":[62],"lets":[64],"us":[65],"express":[66],"hiding,":[67],"export/import":[68],"inheritance.":[70],"The":[71,101],"does":[74],"not":[75],"characterize":[76],"these":[77],"well":[79],"hence":[81],"two":[84],"alternative":[85],"programs:":[88],"itself,":[92],"set":[95],"all":[97],"term":[98],"models":[99],"(TR-fixpoints).":[100],"former":[102],"compositional":[104,109],"latter":[107],"fully":[111],"abstract":[112],"w.r.t.":[113],"natural":[115],"notion":[116],"observability.":[118]},"counts_by_year":[],"updated_date":"2026-10-03T13:16:28.481748","created_date":"2016-11-11T00:00:00"}