{"id":"https://openalex.org/W2108945841","doi":null,"title":"Reflection in logic, functional and object-oriented programming: a Short Comparative Study","display_name":"Reflection in logic, functional and object-oriented programming: a Short Comparative Study","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2108945841","mag":"2108945841"},"language":"en","primary_location":{"id":"mag:2108945841","doi":null,"is_oa":false,"landing_page_url":"https://www-master.ufr-info-p6.jussieu.fr/2007/Ajouts/Master_esj20_2007_2008/IMG/pdf/malenfant-ijcai95.pdf","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/A5031858359","display_name":"Jacques Malenfant","orcid":"https://orcid.org/0000-0002-2986-8132","observed_orcids":["https://orcid.org/0000-0002-2986-8132"]},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Jacques Malenfant","raw_affiliation_strings":["UNIVERSITE DE MONTREAL"],"raw_orcid":"https://orcid.org/0000-0002-2986-8132","affiliations":[{"raw_affiliation_string":"UNIVERSITE DE MONTREAL","institution_ids":["https://openalex.org/I70931966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031858359"],"corresponding_institution_ids":["https://openalex.org/I70931966"],"apc_list":null,"apc_paid":null,"fwci":2.7702,"has_fulltext":false,"cited_by_count":104,"citation_normalized_percentile":{"value":0.90813697,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0010000000474974513,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0003000000142492354,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reflection","display_name":"reflection","score":0.6890000104904175},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.8920000195503235},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.9760000109672546},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"object-oriented programming","score":0.9980000257492065},{"id":"https://openalex.org/keywords/programming-languages","display_name":"programming languages","score":0.8149999976158142}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.716722846031189},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.6836665868759155},{"id":"https://openalex.org/C2779545769","wikidata":"https://www.wikidata.org/wiki/Q5135364","display_name":"Closeness","level":2,"score":0.6650998592376709},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5502864122390747},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5460919141769409},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.517403244972229},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4986095428466797},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.46042653918266296},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4387011229991913},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.4302245080471039},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3642774224281311},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3370635211467743},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2617989778518677},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1796644628047943},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2108945841","doi":null,"is_oa":false,"landing_page_url":"https://www-master.ufr-info-p6.jussieu.fr/2007/Ajouts/Master_esj20_2007_2008/IMG/pdf/malenfant-ijcai95.pdf","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W146483867","https://openalex.org/W181840855","https://openalex.org/W197342619","https://openalex.org/W1504949952","https://openalex.org/W1527793496","https://openalex.org/W1604070438","https://openalex.org/W1977710006","https://openalex.org/W1981736187","https://openalex.org/W1982141330","https://openalex.org/W1989258377","https://openalex.org/W1997143185","https://openalex.org/W2002529995","https://openalex.org/W2005337919","https://openalex.org/W2011517902","https://openalex.org/W2023578426","https://openalex.org/W2027729322","https://openalex.org/W2028093053","https://openalex.org/W2030098725","https://openalex.org/W2037984920","https://openalex.org/W2048831705","https://openalex.org/W2066181430","https://openalex.org/W2073194447","https://openalex.org/W2074423628","https://openalex.org/W2074487796","https://openalex.org/W2076418228","https://openalex.org/W2078434561","https://openalex.org/W2093435953","https://openalex.org/W2095219277","https://openalex.org/W2126549362","https://openalex.org/W2134762177","https://openalex.org/W2152834103","https://openalex.org/W2156876717","https://openalex.org/W2165719697","https://openalex.org/W2294422796","https://openalex.org/W2295914203","https://openalex.org/W2325141054","https://openalex.org/W2419475972","https://openalex.org/W4206370914"],"related_works":["https://openalex.org/W7099368274","https://openalex.org/W7095975716","https://openalex.org/W7096495232","https://openalex.org/W3161394903","https://openalex.org/W2143723931","https://openalex.org/W7098546558","https://openalex.org/W2019818093","https://openalex.org/W7100638587","https://openalex.org/W7098971966","https://openalex.org/W3003727062"],"abstract_inverted_index":{"Reflection":[0],"is":[1,72],"a":[2,99],"wide-ranging":[3],"concept":[4],"that":[5,135],"has":[6,31,136],"been":[7,32,137],"studied":[8],"independently":[9],"in":[10,16,21,24,54,76,82,142,154],"many":[11],"different":[12,35,47,114,124,133,140],"areas":[13],"of":[14,27,46,85,105,144],"science":[15,20],"general,":[17],"and":[18,41,116,167],"computer":[19],"particular.":[22],"Even":[23],"the":[25,38,68,83,103,113,132],"sub-area":[26],"programming":[28,109,164],"languages,":[29],"it":[30,71],"applied":[33],"to":[34,59,67,79,88,108,118,139],"paradigms,":[36],"especially":[37],"logic,":[39],"functional":[40],"objectoriented":[42],"ones.":[43],"Partly":[44],"because":[45,52],"past":[48],"influences,":[49],"but":[50],"also":[51,129],"researchers":[53],"these":[55],"communities":[56],"scarcely":[57],"talk":[58],"each":[60,143],"others,":[61,86],"concepts":[62,121,141],"have":[63],"evolved":[64],"separately,":[65],"sometimes":[66],"point":[69,130],"where":[70],"hard":[73],"for":[74],"people":[75],"one":[77],"community":[78],"recognize":[80],"similarities":[81],"work":[84],"not":[87,148],"speak":[89],"about":[90],"cross-fertilization":[91],"among":[92],"them.":[93,145],"In":[94],"this":[95],"paper,":[96],"we":[97],"propose":[98],"synthesis":[100],"covering":[101],"mainly":[102],"application":[104],"computation":[106],"reflection":[107],"languages.":[110],"We":[111,128,146,157],"compare":[112],"approaches":[115],"try":[117],"identify":[119],"similar":[120],"hidden":[122],"behind":[123],"names":[125],"or":[126],"constructs.":[127],"out":[131],"emphasis":[134],"given":[138],"do":[147],"claim":[149],"neither":[150],"completeness":[151],"nor":[152],"closeness":[153],"our":[155],"treatment.":[156],"rather":[158],"aim":[159],"at":[160],"building":[161],"bridges":[162],"between":[163],"languages":[165],"communities,":[166],"address":[168],"other":[169],"aspects":[170],"when":[171],"they":[172],"appear":[173],"relevant.":[174]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":5}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}