{"id":"https://openalex.org/W2182393352","doi":null,"title":"Inheritance, Specification and Documentation Support for an Object-Oriented Language","display_name":"Inheritance, Specification and Documentation Support for an Object-Oriented Language","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2182393352","mag":"2182393352"},"language":"en","primary_location":{"id":"mag:2182393352","doi":null,"is_oa":false,"landing_page_url":"http://www.cas.mcmaster.ca/~emil/Students_files/Liang04InheritSpecDocForOO.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/A5111999110","display_name":"Jie Liang","orcid":"https://orcid.org/0009-0000-3270-3198","observed_orcids":["https://orcid.org/0009-0000-3270-3198"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jie Liang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5045989488","display_name":"Marsha Eng","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marsha Eng","raw_affiliation_strings":[],"raw_orcid":null,"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":0,"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":0.9907000064849854,"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.9907000064849854,"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.004699999932199717,"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.0017999999690800905,"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/object-oriented-programming","display_name":"object-oriented programming","score":0.8180000185966492},{"id":"https://openalex.org/keywords/inheritance-object-oriented-programming","display_name":"inheritance (object-oriented programming)","score":0.6980000138282776},{"id":"https://openalex.org/keywords/behavioral-specification","display_name":"behavioral specification","score":0.7519999742507935},{"id":"https://openalex.org/keywords/preconditions-and-postconditions","display_name":"preconditions and postconditions","score":0.7770000100135803},{"id":"https://openalex.org/keywords/class-invariants","display_name":"class invariants","score":0.9800000190734863},{"id":"https://openalex.org/keywords/documentation-generation","display_name":"documentation generation","score":0.6010000109672546},{"id":"https://openalex.org/keywords/software-maintainability","display_name":"software maintainability","score":0.6629999876022339},{"id":"https://openalex.org/keywords/software-quality","display_name":"software quality","score":0.3799999952316284}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8366304636001587},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7970613241195679},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.5674963593482971},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5200105309486389},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.4948357939720154},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.4852001965045929},{"id":"https://openalex.org/C200568363","wikidata":"https://www.wikidata.org/wiki/Q1070739","display_name":"Multiple inheritance","level":3,"score":0.4699181616306305},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.464760422706604},{"id":"https://openalex.org/C2781289151","wikidata":"https://www.wikidata.org/wiki/Q2903989","display_name":"Class hierarchy","level":3,"score":0.4537610411643982},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.42569780349731445},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.4154619872570038},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33288854360580444},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.23335418105125427},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20873677730560303},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11929166316986084},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.11511853337287903},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08810603618621826},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"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/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2182393352","doi":null,"is_oa":false,"landing_page_url":"http://www.cas.mcmaster.ca/~emil/Students_files/Liang04InheritSpecDocForOO.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":52,"referenced_works":["https://openalex.org/W144994574","https://openalex.org/W1481668298","https://openalex.org/W1514258760","https://openalex.org/W1535103785","https://openalex.org/W1543404920","https://openalex.org/W1546799639","https://openalex.org/W1569499963","https://openalex.org/W1570542700","https://openalex.org/W1583826417","https://openalex.org/W1585704789","https://openalex.org/W1588335385","https://openalex.org/W1593874741","https://openalex.org/W1605034451","https://openalex.org/W1834340039","https://openalex.org/W1970495662","https://openalex.org/W1975442062","https://openalex.org/W1987264191","https://openalex.org/W1988493586","https://openalex.org/W1988698742","https://openalex.org/W1994683471","https://openalex.org/W1995008247","https://openalex.org/W1998490923","https://openalex.org/W2003478739","https://openalex.org/W2006437031","https://openalex.org/W2013492611","https://openalex.org/W2013886348","https://openalex.org/W2015466663","https://openalex.org/W2017381700","https://openalex.org/W2028663466","https://openalex.org/W2032273637","https://openalex.org/W2036656026","https://openalex.org/W2038497675","https://openalex.org/W2052363833","https://openalex.org/W2059295282","https://openalex.org/W2071136304","https://openalex.org/W2094884323","https://openalex.org/W2095680136","https://openalex.org/W2096045687","https://openalex.org/W2105142318","https://openalex.org/W2107778618","https://openalex.org/W2115484804","https://openalex.org/W2121191807","https://openalex.org/W2122327724","https://openalex.org/W2143211847","https://openalex.org/W2153060956","https://openalex.org/W2163420823","https://openalex.org/W2165121897","https://openalex.org/W2166985644","https://openalex.org/W2170040775","https://openalex.org/W2342082360","https://openalex.org/W2987907651","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W1576785814","https://openalex.org/W7099013455","https://openalex.org/W4247510043","https://openalex.org/W2121191807","https://openalex.org/W1956544187","https://openalex.org/W7095190204","https://openalex.org/W7100613456","https://openalex.org/W2097310563","https://openalex.org/W7095574084","https://openalex.org/W2111823485"],"abstract_inverted_index":{"Lime":[0,11,25,51],"is":[1,34],"an":[2],"object-oriented":[3],"programming":[4],"language":[5],"with":[6],"action-based":[7],"concurrency.":[8],"Concurrency":[9],"in":[10,39,45],"has":[12],"been":[13],"previously":[14],"implemented.":[15],"Our":[16],"current":[17],"work":[18],"integrates":[19],"specification":[20],"and":[21,26,43,48,86,107,110,119,124,148,159],"documentation":[22,132],"features":[23],"into":[24],"its":[27],"compiler.":[28],"The":[29,130],"goal":[30],"of":[31,75,84,137,141,150],"this":[32],"integration":[33],"to":[35],"improve":[36],"software":[37],"quality,":[38],"particular":[40],"correctness,":[41],"extensibility,":[42],"maintainability":[44],"a":[46,53,70,79,135],"uniform":[47],"coherent":[49],"manner.":[50],"provides":[52],"flexible":[54],"inheritance":[55],"mechanism":[56],"that":[57,144],"separates":[58],"subclassing":[59],"(code":[60],"sharing)":[61],"from":[62],"subtyping":[63],"(substitutability).":[64],"Any":[65],"class":[66,89,143,154],"can":[67,90,114,125],"sever":[68],"as":[69,78],"superclass":[71],"(for":[72,81],"the":[73,82,93,95,138,146,151,153,156],"purpose":[74,83],"reuse)":[76],"or/and":[77],"supertype":[80],"specification)":[85],"any":[87],"child":[88],"either":[91],"inherit":[92],"implementation,":[94],"interface":[96,140],"specification,":[97],"or":[98],"both.":[99],"Behavioral":[100],"specifications":[101],"are":[102],"expressed":[103],"by":[104],"preconditions,":[105],"postconditions":[106,149],"invariants.":[108],"These":[109],"other":[111,120],"intermediate":[112],"annotations":[113],"be":[115,126],"written":[116],"using":[117],"quantifiers":[118],"standard":[121],"mathematical":[122],"notation,":[123],"checked":[127],"at":[128],"run-time.":[129],"associated":[131],"tool":[133],"generates":[134],"description":[136],"behavioral":[139],"each":[142],"includes":[145],"preconditions":[147],"methods,":[152],"invariants,":[155],"subtype":[157],"hierarchy,":[158],"subclass":[160],"hierarchy.":[161]},"counts_by_year":[],"updated_date":"2026-10-03T13:16:28.481748","created_date":"2016-06-24T00:00:00"}