{"id":"https://openalex.org/W99183917","doi":null,"title":"Object type graphs","display_name":"Object type graphs","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W99183917","mag":"99183917"},"language":"en","primary_location":{"id":"mag:99183917","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=933790","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/A5090224468","display_name":"Cong-Cong Xing","orcid":"https://orcid.org/0000-0002-3431-3422","observed_orcids":["https://orcid.org/0000-0002-3431-3422"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cong-Cong Xing","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3431-3422","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5088248176","display_name":"Boumediene Belkhouche","orcid":"https://orcid.org/0000-0002-8365-1479","observed_orcids":["https://orcid.org/0000-0002-8365-1479"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Boumediene Belkhouche","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8365-1479","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"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":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":1.0,"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":1.0,"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.0,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.0,"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/object-oriented-programming-languages","display_name":"object-oriented programming languages","score":0.718999981880188},{"id":"https://openalex.org/keywords/subtyping","display_name":"subtyping","score":0.7239999771118164},{"id":"https://openalex.org/keywords/inheritance-object-oriented-programming","display_name":"inheritance (object-oriented programming)","score":0.9929999709129333},{"id":"https://openalex.org/keywords/equational-theories","display_name":"equational theories","score":0.7229999899864197}],"concepts":[{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.9415973424911499},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.666523277759552},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6530715823173523},{"id":"https://openalex.org/C200568363","wikidata":"https://www.wikidata.org/wiki/Q1070739","display_name":"Multiple inheritance","level":3,"score":0.598327100276947},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5235261917114258},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.49280813336372375},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.43993061780929565},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4149576425552368},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.37827426195144653},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17761200666427612},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:99183917","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=933790","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":0,"referenced_works":[],"related_works":["https://openalex.org/W2147041909","https://openalex.org/W7099901901","https://openalex.org/W2050627164","https://openalex.org/W2141309638","https://openalex.org/W2033050456","https://openalex.org/W1556460735","https://openalex.org/W1997608994","https://openalex.org/W7098767274","https://openalex.org/W7095150938","https://openalex.org/W1607304222"],"abstract_inverted_index":{"Object":[0],"type":[1,35,52,91,109,154,220,223,244],"graphs":[2,92,110,155,224],"are":[3,116,144,148,161,195,229],"proposed":[4],"as":[5,71],"a":[6,42,51,126,258],"new":[7,191,259],"approach":[8],"to":[9,63,118,163,197,251,256],"the":[10,19,34,65,87,119,122,139,170,173,181,199,230,237],"typing":[11,72,192,227,253,260],"of":[12,21,30,37,58,68,79,89,98,128,130,165,172,240],"object-languages.":[13],"Internal":[14],"dependencies":[15,32],"among":[16],"methods":[17],"characterize":[18],"behavior":[20],"objects":[22,241],"and":[23,76,81,93,103,113,134,142,146,158,167,178,185,225,246,255],"differentiate":[24],"them":[25],"from":[26],"records.":[27],"The":[28],"specification":[29],"these":[31,249],"enrich":[33],"representation":[36,53],"objects.":[38],"First,":[39],"we":[40,61,84,211],"define":[41,86,257],"simple":[43],"typed":[44],"object-oriented":[45,99],"language":[46,100,123],"(TOOL)":[47],"in":[48,121,138,169,176,203,218,242],"which":[49],"such":[50,70],"is":[54,111,156,187],"introduced":[55],"by":[56],"means":[57],"links.":[59,82],"Then":[60],"proceed":[62],"describe":[64],"essential":[66],"aspects":[67],"TOOL":[69],"rules,":[73],"equational":[74],"theory,":[75],"basic":[77],"properties":[78],"types":[80],"Next,":[83],"formally":[85],"notion":[88],"object":[90,108,153],"investigate":[94],"two":[95],"major":[96],"issues":[97,254],"typing:":[101],"subtyping":[102,120,131,186,217],"inheritance.":[104],"Subtyping":[105],"based":[106,151],"on":[107,152],"defined":[112,157],"its":[114,159],"results":[115,160],"compared":[117,162],"O-1":[124],"through":[125],"discussion":[127],"variance":[129],"(covariance,":[132],"contravariance,":[133],"invariance).":[135],"Inheritance":[136,150],"mechanisms":[137,228],"languages":[140],"O-2":[141,166,177],"O-3":[143,168],"analyzed":[145],"problems":[147,174],"identified.":[149],"that":[164,213,234],"context":[171],"found":[175],"O-3.":[179],"Finally,":[180],"relationship":[182],"between":[183],"inheritance":[184,214],"investigated":[188],"under":[189],"our":[190,219],"scheme.":[193,261],"We":[194],"able":[196],"reverse":[198],"previously":[200],"established":[201],"result":[202],"literature\u2014inheritance":[204],"does":[205,215],"not":[206],"imply":[207,216],"subtyping.":[208],"That":[209],"is,":[210],"prove":[212],"system.":[221],"\r\nObject":[222],"graph-based":[226],"fiat":[231],"research":[232],"effort":[233],"captures":[235],"abstractly":[236],"internal":[238],"structure":[239],"heir":[243],"representations,":[245],"then":[247],"uses":[248],"features":[250],"explore":[252]},"counts_by_year":[],"updated_date":"2026-10-03T13:16:28.481748","created_date":"2016-06-24T00:00:00"}