{"id":"https://openalex.org/W18811544","doi":null,"title":"Java Needs Compound Types","display_name":"Java Needs Compound Types","publication_year":1998,"publication_date":"1998-06-08","ids":{"openalex":"https://openalex.org/W18811544","mag":"18811544"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.133.2217","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.2217","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://crest.cs.abo.fi/publications/public/1998/TR182.pdf","raw_type":"text"},"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/A5017927328","display_name":"Martin B\u00fcchi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin B\u00fcchi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5047963733","display_name":"Wolfgang Weck","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wolfgang Weck","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":2.1966,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87184508,"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/T10639","display_name":"Advanced Software Engineering Methodologies","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/T10260","display_name":"Software Engineering Research","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/java-type-system","display_name":"Java type system","score":0.9340000152587891},{"id":"https://openalex.org/keywords/interfaces","display_name":"interfaces","score":0.47099998593330383},{"id":"https://openalex.org/keywords/class-composition","display_name":"class composition","score":0.7940000295639038},{"id":"https://openalex.org/keywords/static-type-checking","display_name":"static type checking","score":0.6759999990463257},{"id":"https://openalex.org/keywords/java-virtual-machine","display_name":"Java Virtual Machine","score":0.7630000114440918},{"id":"https://openalex.org/keywords/component-software","display_name":"component software","score":0.7020000219345093},{"id":"https://openalex.org/keywords/language-extension","display_name":"language extension","score":0.46799999475479126}],"concepts":[{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.792326807975769},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7693533301353455},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.7656566500663757},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7147192358970642},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.6894254684448242},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.6064515709877014},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.5976915955543518},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5973285436630249},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.5555840730667114},{"id":"https://openalex.org/C15524039","wikidata":"https://www.wikidata.org/wiki/Q865817","display_name":"Java applet","level":3,"score":0.4922236502170563},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.44520846009254456},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.4437805116176605},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1284816861152649}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.133.2217","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.2217","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://crest.cs.abo.fi/publications/public/1998/TR182.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.39.4375","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.4375","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.tucs.abo.fi/cgi-bin/getps.cgi/publications/techreports/TR182.ps","raw_type":"text"},{"id":"mag:18811544","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=893501","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":14,"referenced_works":["https://openalex.org/W1527933453","https://openalex.org/W1555946950","https://openalex.org/W1567918249","https://openalex.org/W1586167239","https://openalex.org/W1602019723","https://openalex.org/W2005415014","https://openalex.org/W2014351883","https://openalex.org/W2136316331","https://openalex.org/W2141916688","https://openalex.org/W2161825580","https://openalex.org/W2163009019","https://openalex.org/W2167500728","https://openalex.org/W2294680933","https://openalex.org/W2610296873"],"related_works":["https://openalex.org/W3043517511","https://openalex.org/W7100530276","https://openalex.org/W1585211590","https://openalex.org/W2249567959","https://openalex.org/W3155411466","https://openalex.org/W7098068095","https://openalex.org/W2151102490","https://openalex.org/W7098931291","https://openalex.org/W564784080","https://openalex.org/W6999555818"],"abstract_inverted_index":{"We":[0,140],"propose":[1],"to":[2,53,75,132],"extend":[3],"the":[4,28,84,119,142,155],"Java":[5,23,86,104],"type":[6,29,100,157],"system":[7],"with":[8],"a":[9,16,65,93,148],"new":[10,94],"construction:":[11],"compound":[12],"types,":[13],"compositions":[14,115],"of":[15,21,37,68,96,114,116,144,154],"class":[17],"and":[18,98,150],"any":[19],"number":[20],"interfaces.":[22],"users":[24],"will":[25],"benefit":[26],"from":[27],"system\u2019s":[30,158],"increased":[31],"expressiveness,":[32],"resulting":[33],"in":[34],"more":[35],"kinds":[36],"errors":[38],"being":[39,121],"statically":[40],"excludable.":[41],"Compound":[42,62],"types":[43,63],"are":[44,64],"particularly":[45],"beneficial":[46],"when":[47],"several":[48,133],"independently":[49],"predefined":[50],"standards":[51],"need":[52,73],"be":[54,76,81],"considered,":[55],"as":[56,138],"typically":[57],"required":[58],"by":[59,111,147],"component":[60],"software.":[61],"strict":[66],"extension":[67,105],"Java,":[69,137],"i.e.,":[70],"existing":[71,85],"programs":[72],"not":[74],"modified.":[77],"Our":[78,89],"proposal":[79,146],"can":[80],"implemented":[82],"using":[83],"Virtual":[87],"Machine.":[88],"scientific":[90],"contribution":[91],"is":[92,109,130],"combination":[95],"name":[97],"structural":[99,112],"equivcalence,":[101],"which":[102],"our":[103,145],"exemplifies.":[106],"Type":[107],"matching":[108],"decided":[110],"comparison":[113],"named":[117],"types;":[118],"latter":[120],"only":[122],"compatible":[123],"if":[124],"explicitly":[125],"declared":[126],"so.":[127],"This":[128],"concept":[129],"applicable":[131],"other":[134],"languages":[135],"than":[136],"well.":[139],"support":[141],"feasibility":[143],"formal":[149],"mechanically":[151],"verified":[152],"proof":[153],"extended":[156],"soundness.":[159]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}