{"id":"https://openalex.org/W293722800","doi":null,"title":"Partial evaluation of multidparadigm declarative languages: Thesis","display_name":"Partial evaluation of multidparadigm declarative languages: Thesis","publication_year":2001,"publication_date":"2001-12-01","ids":{"openalex":"https://openalex.org/W293722800","mag":"293722800"},"language":"en","primary_location":{"id":"mag:293722800","doi":null,"is_oa":false,"landing_page_url":"https://content.iospress.com/articles/ai-communications/aic247","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-c","jufo-1","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"AI Communications","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/A5091905437","display_name":"Elvira Albert","orcid":"https://orcid.org/0000-0003-0048-0705","observed_orcids":["https://orcid.org/0000-0003-0048-0705"]},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Elvira Albert","raw_affiliation_strings":["Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s&sol"],"raw_orcid":"https://orcid.org/0000-0003-0048-0705","affiliations":[{"raw_affiliation_string":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s&sol","institution_ids":["https://openalex.org/I60053951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091905437"],"corresponding_institution_ids":["https://openalex.org/I60053951"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0529289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"4","first_page":"235","last_page":"237"},"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.9937000274658203,"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.9937000274658203,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.0010999999940395355,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/partial-evaluation","display_name":"partial evaluation","score":0.996999979019165},{"id":"https://openalex.org/keywords/declarative-programming-languages","display_name":"declarative programming languages","score":0.8399999737739563},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.7170000076293945},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.9990000128746033},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.9860000014305115},{"id":"https://openalex.org/keywords/neural-network-simulator","display_name":"neural network simulator","score":0.6940000057220459},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.4090000092983246}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8529043197631836},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.7690088748931885},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.6682659387588501},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5480735898017883},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5044780969619751},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.49392372369766235},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48787903785705566},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4796345829963684},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.3991975784301758},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.38958466053009033},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.29958006739616394},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:293722800","doi":null,"is_oa":false,"landing_page_url":"https://content.iospress.com/articles/ai-communications/aic247","pdf_url":null,"source":{"id":"https://openalex.org/S176303223","display_name":"AI Communications","issn_l":"0921-7126","issn":["0921-7126","1875-8452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-c","jufo-1","poland-20","russia-white-list-2"],"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"AI Communications","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":105,"referenced_works":["https://openalex.org/W38099295","https://openalex.org/W40096707","https://openalex.org/W56947093","https://openalex.org/W92496487","https://openalex.org/W100098737","https://openalex.org/W114376535","https://openalex.org/W155273981","https://openalex.org/W342371003","https://openalex.org/W1482061011","https://openalex.org/W1485472834","https://openalex.org/W1491971978","https://openalex.org/W1498453116","https://openalex.org/W1515877009","https://openalex.org/W1517151294","https://openalex.org/W1517456004","https://openalex.org/W1520096901","https://openalex.org/W1521225797","https://openalex.org/W1522154830","https://openalex.org/W1529741195","https://openalex.org/W1530237295","https://openalex.org/W1531044637","https://openalex.org/W1537303337","https://openalex.org/W1541900880","https://openalex.org/W1542304993","https://openalex.org/W1542522921","https://openalex.org/W1547288408","https://openalex.org/W1549917467","https://openalex.org/W1552909716","https://openalex.org/W1556604985","https://openalex.org/W1557490801","https://openalex.org/W1558611007","https://openalex.org/W1559076591","https://openalex.org/W1562307676","https://openalex.org/W1562920405","https://openalex.org/W1567046583","https://openalex.org/W1571983596","https://openalex.org/W1574340008","https://openalex.org/W1583295953","https://openalex.org/W1583454894","https://openalex.org/W1585088833","https://openalex.org/W1592422288","https://openalex.org/W1598890912","https://openalex.org/W1599996235","https://openalex.org/W1603305149","https://openalex.org/W1603716093","https://openalex.org/W1604972677","https://openalex.org/W1606878978","https://openalex.org/W1655990431","https://openalex.org/W1658882766","https://openalex.org/W1691095050","https://openalex.org/W1787672740","https://openalex.org/W1850850948","https://openalex.org/W1966981171","https://openalex.org/W1984716525","https://openalex.org/W1985108724","https://openalex.org/W1985147107","https://openalex.org/W1986885542","https://openalex.org/W1988185893","https://openalex.org/W2012069736","https://openalex.org/W2015788118","https://openalex.org/W2019962118","https://openalex.org/W2020024606","https://openalex.org/W2021173362","https://openalex.org/W2023299380","https://openalex.org/W2036191870","https://openalex.org/W2037035101","https://openalex.org/W2048831705","https://openalex.org/W2052184002","https://openalex.org/W2058958439","https://openalex.org/W2059799630","https://openalex.org/W2061708450","https://openalex.org/W2063080606","https://openalex.org/W2072132721","https://openalex.org/W2078852650","https://openalex.org/W2091465888","https://openalex.org/W2092408876","https://openalex.org/W2094243107","https://openalex.org/W2103914277","https://openalex.org/W2116776985","https://openalex.org/W2118351936","https://openalex.org/W2118383426","https://openalex.org/W2119156278","https://openalex.org/W2119656676","https://openalex.org/W2119683217","https://openalex.org/W2125977928","https://openalex.org/W2126018011","https://openalex.org/W2127788730","https://openalex.org/W2135124683","https://openalex.org/W2137818097","https://openalex.org/W2142436113","https://openalex.org/W2144352681","https://openalex.org/W2147335415","https://openalex.org/W2154320795","https://openalex.org/W2155847917","https://openalex.org/W2157543955","https://openalex.org/W2158205039","https://openalex.org/W2158956202","https://openalex.org/W2166060774","https://openalex.org/W2168144301","https://openalex.org/W2170368946","https://openalex.org/W2208923056","https://openalex.org/W2402858191","https://openalex.org/W2522304419","https://openalex.org/W2912818154","https://openalex.org/W3046340942"],"related_works":["https://openalex.org/W13069673","https://openalex.org/W3184871019","https://openalex.org/W1529741195","https://openalex.org/W1480070952","https://openalex.org/W2107696941","https://openalex.org/W38099295","https://openalex.org/W7099235327","https://openalex.org/W2181600574","https://openalex.org/W2127788730","https://openalex.org/W7100943522"],"abstract_inverted_index":{"This":[0],"paper":[1],"abstracts":[2],"the":[3,54,60,79],"contents":[4],"of":[5,12,37,44,56,82],"a":[6,41],"PhD":[7],"dissertation":[8],"entitled":[9],"\u2018Partial":[10],"evaluation":[11,27,81],"multidparadigm":[13,83],"declarative":[14,84],"languages:":[15],"foundations,":[16],"control,":[17],"algorithms":[18],"and":[19,76,91],"efficiency\u2019":[20],"which":[21,86],"has":[22],"been":[23],"recently":[24],"defended.":[25],"Partial":[26],"is":[28],"an":[29],"automatic":[30],"technique":[31],"for":[32,67,78],"program":[33],"optimization":[34,61],"whose":[35],"range":[36],"potential":[38],"applications":[39],"covers":[40],"wide":[42],"spectrum":[43],"problemdspecific":[45],"optimizations.":[46],"For":[47],"instance,":[48],"there":[49],"are":[50],"successful":[51],"experiences":[52],"in":[53],"field":[55],"artificial":[57],"intelligence,":[58],"like":[59],"(by":[62],"partial":[63,80],"evaluation)":[64],"on":[65],"simulators":[66],"neural":[68],"network":[69],"training.":[70],"The":[71],"thesis":[72],"presents":[73],"novel":[74],"methods":[75],"techniques":[77],"languages,":[85],"integrate":[87],"features":[88],"from":[89],"functional":[90],"logic":[92],"programming.":[93]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}