{"id":"https://openalex.org/W1975777673","doi":"https://doi.org/10.1016/s1571-0661(05)80637-1","title":"Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs","display_name":"Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1975777673","doi":"https://doi.org/10.1016/s1571-0661(05)80637-1","mag":"1975777673"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80637-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80637-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80637-1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038492725","display_name":"Germ\u00e1n Puebla","orcid":null},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"G. Puebla","raw_affiliation_strings":["Department of Computer Science, Technical University of Madrid (UPM), Spain","Department of Computer Science Technical University of Madrid (UPM), Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Madrid (UPM), Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Department of Computer Science Technical University of Madrid (UPM), Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M. Hermenegildo","raw_affiliation_strings":["Department of Computer Science, Technical University of Madrid (UPM), Spain","Department of Computer Science Technical University of Madrid (UPM), Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Madrid (UPM), Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Department of Computer Science Technical University of Madrid (UPM), Spain","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038492725","https://openalex.org/A5073531919"],"corresponding_institution_ids":["https://openalex.org/I88060688"],"apc_list":null,"apc_paid":null,"fwci":6.3654,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.96284102,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"30","issue":"2","first_page":"163","last_page":"187"},"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.9995999932289124,"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.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.996399998664856,"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.9951000213623047,"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/prolog","display_name":"Prolog","score":0.8496303558349609},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7912889122962952},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7698110342025757},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5839537978172302},{"id":"https://openalex.org/keywords/concreteness","display_name":"Concreteness","score":0.5201526284217834},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49822521209716797},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.481523334980011},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42368459701538086},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.0839199423789978}],"concepts":[{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8496303558349609},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7912889122962952},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7698110342025757},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5839537978172302},{"id":"https://openalex.org/C2778436841","wikidata":"https://www.wikidata.org/wiki/Q5159081","display_name":"Concreteness","level":2,"score":0.5201526284217834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49822521209716797},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.481523334980011},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42368459701538086},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0839199423789978},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1016/s1571-0661(05)80637-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80637-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.129.1110","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.1110","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.clip.dia.fi.upm.es/papers/ciao-modules-analspec-entcs.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.42.3580","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3580","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://clip.dia.fi.upm.es/papers/ciao-modules-analspec-ws.ps.gz","raw_type":"text"},{"id":"pmh:oai:oa.upm.es:14623","is_oa":true,"landing_page_url":"http://oa.upm.es/14623/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic notes in theoretical computer science | WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming) | 2\u20133 December 1999 | Las Cruces, New Mexico, USA","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80637-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80637-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W95576201","https://openalex.org/W130690164","https://openalex.org/W207722629","https://openalex.org/W1507195668","https://openalex.org/W1523115500","https://openalex.org/W1532795106","https://openalex.org/W1533556407","https://openalex.org/W1556604985","https://openalex.org/W1559402073","https://openalex.org/W1563137573","https://openalex.org/W1572167572","https://openalex.org/W1594349561","https://openalex.org/W1853495215","https://openalex.org/W1882854904","https://openalex.org/W1911314295","https://openalex.org/W1965377774","https://openalex.org/W2026803730","https://openalex.org/W2037035101","https://openalex.org/W2043100293","https://openalex.org/W2048831705","https://openalex.org/W2074516823","https://openalex.org/W2085729865","https://openalex.org/W2143826737","https://openalex.org/W2163660741","https://openalex.org/W2592915588","https://openalex.org/W2675876715","https://openalex.org/W2886271628","https://openalex.org/W2913920290","https://openalex.org/W6605304217","https://openalex.org/W6631346763","https://openalex.org/W6631821462","https://openalex.org/W6631915664","https://openalex.org/W6633657144","https://openalex.org/W6634137437","https://openalex.org/W6638928444","https://openalex.org/W6639865689","https://openalex.org/W6656850656","https://openalex.org/W6662777882","https://openalex.org/W6671839627","https://openalex.org/W6681460903"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1493824320","https://openalex.org/W592311106","https://openalex.org/W4319165641","https://openalex.org/W2972366161","https://openalex.org/W4380901377","https://openalex.org/W1504500318","https://openalex.org/W2003151706"],"abstract_inverted_index":{"Separating":[0],"programs":[1],"into":[2],"modules":[3],"is":[4,86,94,122],"a":[5,21,47,95,113,126],"well-known":[6],"technique":[7],"which":[8,33,99,111],"has":[9,100,112],"proven":[10],"very":[11],"useful":[12],"in":[13,26,67,108,171],"program":[14],"development":[15],"and":[16,38,52,60,72,90,106,110,132,159,179],"maintenance.":[17],"Starting":[18],"by":[19,173],"introducing":[20],"number":[22,48],"of":[23,49,82,119,156],"possible":[24],"scenarios,":[25],"this":[27,120],"paper":[28],"we":[29,77],"study":[30],"different":[31,57],"issues":[32],"appear":[34],"when":[35],"developing":[36],"analysis":[37,105,131,155],"specialization":[39,107],"techniques":[40],"for":[41,55,88,150,163],"modular":[42,130,157],"logic":[43],"programming.":[44],"We":[45],"discuss":[46,137],"design":[50],"alternatives":[51],"their":[53,164],"consequences":[54],"the":[56,64,68,79,160],"scenarios":[58],"considered":[59],"describe":[61],"where":[62],"applicable":[63],"decisions":[65],"made":[66],"Ciao":[69,83,92],"system":[70,81,98],"analyzer":[71],"specializer.":[73],"In":[74],"our":[75],"discussion":[76],"use":[78],"module":[80,115],"Prolog.":[84],"This":[85,167],"both":[87],"concreteness":[89],"because":[91],"Prolog":[93,97],"second-generation":[96],"been":[101],"designed":[102],"with":[103],"global":[104],"mind,":[109],"strict":[114],"system.":[116],"The":[117,142],"aim":[118],"work":[121,168],"not":[123],"to":[124,136,146],"provide":[125],"theoretical":[127],"basis":[128],"on":[129,154],"specialization,":[133],"but":[134],"rather":[135],"some":[138],"interesting":[139,152],"practical":[140],"issues.":[141],"authors":[143],"would":[144],"like":[145],"thank":[147],"Francisco":[148],"Bueno":[149],"many":[151],"discussions":[153],"programs,":[158],"anonymous":[161],"referees":[162],"constructive":[165],"comments.":[166],"was":[169],"funded":[170],"part":[172],"Spanish":[174],"CICYT":[175],"projects":[176],"TIC99-1151":[177],"EDIPIA":[178],"TIC97-1640-CE.":[180]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}