{"id":"https://openalex.org/W228827630","doi":"https://doi.org/10.3217/jucs-003-04-0341","title":"A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming","display_name":"A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W228827630","doi":"https://doi.org/10.3217/jucs-003-04-0341","mag":"228827630"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.107.9700","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.9700","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_3_4/a_structured_presentation_of/Kwon_K.pdf","raw_type":"text"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.3217/jucs-003-04-0341","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007182198","display_name":"Keehang Kwon","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Keehang Kwon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5007182198"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1422,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.57386123,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"3","issue":null,"first_page":"341","last_page":"376"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9904999732971191,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.984499990940094,"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/computer-science","display_name":"Computer science","score":0.9102087020874023},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.5969162583351135},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5460796356201172},{"id":"https://openalex.org/keywords/structured-programming","display_name":"Structured programming","score":0.5217453241348267},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5183299779891968},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5029577612876892},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39927077293395996}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9102087020874023},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.5969162583351135},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5460796356201172},{"id":"https://openalex.org/C77781355","wikidata":"https://www.wikidata.org/wiki/Q223335","display_name":"Structured programming","level":2,"score":0.5217453241348267},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5183299779891968},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5029577612876892},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39927077293395996},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.107.9700","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.9700","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_3_4/a_structured_presentation_of/Kwon_K.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.47.4795","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.4795","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://linux.eecs.umich.edu/.5/groups/gasm/scopelogic.ps.gz","raw_type":"text"},{"id":"doi:10.3217/jucs-003-04-0341","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-003-04-0341","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"},{"id":"mag:228827630","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jucs/jucs3.html#Kwon97","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.3217/jucs-003-04-0341","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-003-04-0341","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"DataPaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1498885309","https://openalex.org/W132302625","https://openalex.org/W2121389878","https://openalex.org/W1513061173","https://openalex.org/W1579358114","https://openalex.org/W1808520879","https://openalex.org/W2165140747","https://openalex.org/W1948202499","https://openalex.org/W2137054551","https://openalex.org/W1547998134","https://openalex.org/W2100758996","https://openalex.org/W1586556581","https://openalex.org/W1491259492","https://openalex.org/W1991962337","https://openalex.org/W1494783798","https://openalex.org/W1500516255","https://openalex.org/W1497796457","https://openalex.org/W1598781941","https://openalex.org/W1579408497","https://openalex.org/W1534873390"],"abstract_inverted_index":{"We":[0,200],"present":[1],"a":[2,6,22,25,76,107,118,124,212,225],"systematic":[3],"reconstruction":[4],"of":[5,47,85,95,117,145,183,193,211],"compilation":[7],"method":[8],"for":[9,93,110,158,176],"an":[10,115,133,155,169],"extension":[11],"to":[12,19,35,60,78,82,101,166],"logic":[13],"programming":[14],"that":[15,42,53,88,127,135,139,171,191,207],"permits":[16],"procedure":[17,64],"definitions":[18],"be":[20,36],"given":[21,83],"scope.":[23],"At":[24],"logical":[26],"level,":[27],"this":[28,70,104,146,165,203],"possibility":[29],"is":[30,128,140,149,185,214,224],"realized":[31],"by":[32,56,91,152,205,216],"permitting":[33],"implications":[34,49],"embedded":[37],"in":[38,44,63,69,187],"goals.":[39],"Program":[40],"clauses":[41,87],"appear":[43],"the":[45,80,137,159,173,189,196,208,217,222],"antecedents":[46],"such":[48],"may":[50],"contain":[51],"variables":[52,62],"are":[54,89,192],"bound":[55],"external":[57],"quantifiers,":[58],"leading":[59],"non-local":[61],"declarations.":[65],"In":[66],"compiling":[67],"programs":[68,84],"extended":[71],"language,":[72],"there":[73],"is,":[74],"therefore,":[75],"need":[77],"consider":[79],"addition":[81],"program":[86],"parameterized":[90,121],"bindings":[92,122],"some":[94],"their":[96],"variables.":[97],"A":[98,143],"proposed":[99],"approach":[100],"dealing":[102],"with":[103,120,154],"aspect":[105],"uses":[106,172],"closure":[108,174],"representation":[109,113,175],"clauses.":[111,177],"This":[112],"separates":[114],"instance":[116],"clause":[119],"into":[123],"skeleton":[125],"part":[126,138],"fixed":[129],"at":[130,168,195],"compile-time":[131],"and":[132,161,220],"environment":[134],"maintains":[136],"dynamically":[141],"determined.":[142],"development":[144],"implementation":[147],"scheme":[148],"provided":[150],"here":[151],"starting":[153],"abstract":[156,179],"interpreter":[157,170],"language":[160],"then":[162],"re":[163,218],"ning":[164],"arrive":[167],"The":[178],"state":[180],"machine":[181],"formalism":[182],"Gurevich":[184],"used":[186],"specifying":[188],"interpreters":[190],"interest":[194],"two":[197],"different":[198],"stages.":[199],"also":[201],"justify":[202],"refinement":[204,223],"showing":[206],"essential":[209],"notion":[210],"computation":[213],"preserved":[215],"nement":[219],"thus":[221],"correct":[226],"one.":[227]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}