{"id":"https://openalex.org/W1970057182","doi":"https://doi.org/10.1145/1094855.1094964","title":"Arithmetic with measurements on dynamically-typed object-oriented languages","display_name":"Arithmetic with measurements on dynamically-typed object-oriented languages","publication_year":2005,"publication_date":"2005-10-16","ids":{"openalex":"https://openalex.org/W1970057182","doi":"https://doi.org/10.1145/1094855.1094964","mag":"1970057182"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1094855.1094964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"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/A5043211438","display_name":"Hern\u00e1n Wilkinson","orcid":null},"institutions":[],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Hern\u00e1n Wilkinson","raw_affiliation_strings":["Mercap, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Mercap, Buenos Aires, Argentina","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103433345","display_name":"M\u00e1ximo Prieto","orcid":null},"institutions":[{"id":"https://openalex.org/I3131880250","display_name":"National University of Austral Patagonia","ror":"https://ror.org/023f76417","country_code":"AR","type":"funder","lineage":["https://openalex.org/I3131880250"]},{"id":"https://openalex.org/I874386039","display_name":"Universidad Nacional de La Plata","ror":"https://ror.org/01tjs6929","country_code":"AR","type":"funder","lineage":["https://openalex.org/I874386039"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"M\u00e1ximo Prieto","raw_affiliation_strings":["Universidad Nacional de La Plata and Universidad Nacional de la Patagonia Austral, (UNPA-UACO), La Plata, Argentina"],"affiliations":[{"raw_affiliation_string":"Universidad Nacional de La Plata and Universidad Nacional de la Patagonia Austral, (UNPA-UACO), La Plata, Argentina","institution_ids":["https://openalex.org/I3131880250","https://openalex.org/I874386039"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024710857","display_name":"Luciano Romeo","orcid":null},"institutions":[],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Luciano Romeo","raw_affiliation_strings":["Mercap, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Mercap, Buenos Aires, Argentina","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.885,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":6,"citation_normalized_percentile":{"value":0.620531,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":77,"max":79},"biblio":{"volume":null,"issue":null,"first_page":"292","last_page":"300"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9995,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9946,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9909,"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/programmer","display_name":"Programmer","score":0.82754636},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.5890424}],"concepts":[{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.82754636},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.66287255},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6574858},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6277752},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.5890424},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5755188},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.55372775},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4953586},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4872083},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.4186224},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40850395},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32630163},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22552323},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15630174},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1094855.1094964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":14,"referenced_works":["https://openalex.org/W1493688518","https://openalex.org/W1521422937","https://openalex.org/W1523197392","https://openalex.org/W1527438859","https://openalex.org/W158038449","https://openalex.org/W1649645444","https://openalex.org/W1770006921","https://openalex.org/W2014309790","https://openalex.org/W2024943946","https://openalex.org/W2118349261","https://openalex.org/W2171351846","https://openalex.org/W2730232141","https://openalex.org/W3143245542","https://openalex.org/W4210245704"],"related_works":["https://openalex.org/W4282938614","https://openalex.org/W2906929912","https://openalex.org/W2532906578","https://openalex.org/W2379153735","https://openalex.org/W2104879423","https://openalex.org/W2104462386","https://openalex.org/W2000176032","https://openalex.org/W1970188613","https://openalex.org/W1955249085","https://openalex.org/W1584019797"],"abstract_inverted_index":{"In":[0,45,123],"physics,":[1,48],"like":[2],"in":[3,95,185],"other":[4,51],"sciences,":[5],"formulas":[6,53],"are":[7,54],"specified":[8],"using":[9,56],"explicit":[10],"measurements,":[11],"that":[12,34,87,135,168,191],"is,":[13],"a":[14,27,100,105,133,197],"number":[15],"with":[16,41,92,196],"its":[17,202,206],"unit.":[18,44],"The":[19],"first":[20],"step":[21],"to":[22,32,117,170],"determine":[23],"the":[24,35,38,42,64,72,75,80,121,140,151,154,159,162,171,175,179],"validity":[25,160],"of":[26,37,66,74,102,107,113,142,157,161,182],"physics":[28],"formula's":[29],"evaluation":[30],"is":[31,85],"verify":[33],"unit":[36,144],"result":[39,89],"corresponds":[40],"prospective":[43],"software":[46],"development,":[47],"financial":[49],"and":[50,131,145,204],"sciences":[52],"programmed":[55],"mathematical":[57],"expressions":[58,164],"based":[59],"only":[60],"on":[61],"numbers,":[62],"being":[63],"units":[65],"these":[67],"numbers":[68],"implicitly":[69],"given":[70],"by":[71,79,104,178],"semantics":[73],"program":[76],"or":[77,115],"assumed":[78],"programmer's":[81],"knowledge.":[82],"Consequently,":[83],"it":[84],"common":[86],"errors":[88,176],"from":[90,120,153],"operating":[91],"values":[93,183],"expressed":[94,184],"different":[96,186],"units,":[97,166],"e.g.,":[98],"dividing":[99],"quantity":[101,106],"years":[103],"months,":[108],"without":[109],"obtaining":[110],"any":[111],"type":[112],"indication":[114],"objection":[116],"this":[118,124,137,194],"error":[119],"system.":[122],"report,":[125],"we":[126],"discuss":[127],"our":[128],"experience":[129],"designing":[130],"implementing":[132],"model":[134,149,195],"solves":[136],"problem":[138],"reifying":[139],"concept":[141],"measurement,":[143],"their":[146],"arithmetic.":[147],"Our":[148],"relieves":[150],"programmer":[152],"arduous":[155],"task":[156],"verifying":[158],"arithmetic":[163],"regarding":[165],"delegating":[167],"responsibility":[169],"system,":[172],"thereby,":[173],"diminishing":[174],"introduced":[177],"incorrect":[180],"use":[181],"units.":[187],"We":[188],"also":[189],"show":[190],"having":[192],"implemented":[193],"dynamically":[198],"typed":[199],"language":[200],"simplified":[201],"programming":[203],"increased":[205],"reusability.":[207]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1970057182","counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-07-23T00:59:01.735301","created_date":"2016-06-24"}