{"id":"https://openalex.org/W2027807842","doi":"https://doi.org/10.1145/1094855.1094931","title":"CoJava","display_name":"CoJava","publication_year":2005,"publication_date":"2005-10-16","ids":{"openalex":"https://openalex.org/W2027807842","doi":"https://doi.org/10.1145/1094855.1094931","mag":"2027807842"},"language":"en","primary_location":{"id":"doi:10.1145/1094855.1094931","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1094855.1094931","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","raw_type":"proceedings-article"},"type":"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/A5010757375","display_name":"Alex Brodsky","orcid":"https://orcid.org/0000-0003-2606-3299"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alex Brodsky","raw_affiliation_strings":["George Mason University, Fairfax, VA"],"affiliations":[{"raw_affiliation_string":"George Mason University, Fairfax, VA","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110618250","display_name":"Hadon Nash","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hadon Nash","raw_affiliation_strings":["Google Inc., Mountain View, CA","Google Inc., Mountain View, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"Google Inc., Mountain View, CA","institution_ids":["https://openalex.org/I1291425158"]},{"raw_affiliation_string":"Google Inc., Mountain View, CA#TAB#","institution_ids":["https://openalex.org/I1291425158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5010757375"],"corresponding_institution_ids":["https://openalex.org/I162714631"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.15582926,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"194","last_page":"195"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8952957987785339},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8128064870834351},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6637860536575317},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6043510437011719},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5457720756530762},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5301008820533752},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.49694398045539856},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4417983591556549},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4305270314216614},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.4158817231655121},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3451404273509979},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2528221011161804},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12444275617599487},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0941823422908783}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8952957987785339},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8128064870834351},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6637860536575317},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6043510437011719},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5457720756530762},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5301008820533752},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.49694398045539856},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4417983591556549},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4305270314216614},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4158817231655121},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3451404273509979},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2528221011161804},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12444275617599487},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0941823422908783},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1094855.1094931","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1094855.1094931","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7599999904632568,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1644882639","https://openalex.org/W1770006921","https://openalex.org/W1964166152","https://openalex.org/W1983205028","https://openalex.org/W2041795132","https://openalex.org/W2078404830","https://openalex.org/W2099165995","https://openalex.org/W2145459199","https://openalex.org/W4232598359","https://openalex.org/W6637879497"],"related_works":["https://openalex.org/W2097415053","https://openalex.org/W1514298554","https://openalex.org/W1486916474","https://openalex.org/W4243324743","https://openalex.org/W1531664660","https://openalex.org/W2120647900","https://openalex.org/W1496100162","https://openalex.org/W4303044088","https://openalex.org/W1169406866","https://openalex.org/W4249103506"],"abstract_inverted_index":{"We":[0],"have":[1,170,216],"proposed":[2],"and":[3,5,20,57,124,142,158,242,251,267],"implemented,":[4],"will":[6],"demonstrate,":[7],"the":[8,14,21,28,35,64,90,112,116,121,127,210,213,228,238],"language":[9,37],"CoJava,":[10],"which":[11,237],"offers":[12],"both":[13],"advantages":[15],"of":[16,23,30,49,75,87,95,194],"simulation-like":[17],"process":[18],"modeling,":[19],"capabilities":[22],"true":[24],"decision":[25,273,276],"optimization.By":[26],"design,":[27],"syntax":[29],"CoJava":[31,69,96,148,203,219],"is":[32,265,278],"identical":[33],"to":[34,43,66,145,151,174,209,269,281],"programming":[36],"Java,":[38],"extended":[39],"with":[40,84],"special":[41],"constructs":[42],"(1)":[44,110,141],"make":[45],"a":[46,50,55,60,73,81,98,107,131,147,172,175,195,218,232,260,271],"non-deterministic":[47,166,196],"choice":[48,91,117],"numeric":[51,240],"value,":[52],"(2)":[53,119],"assert":[54],"constraint,":[56],"(3)":[58,125],"designate":[59],"program":[61,70,82,99,133,149,185,207,230,235,257,264],"variable":[62],"as":[63,100,259],"objective":[65],"be":[67,189],"optmized.A":[68],"thus":[71],"defines":[72],"set":[74],"nondeterministic":[76,103],"execution":[77,104,137,156,167],"paths,":[78],"each":[79],"being":[80],"run":[83,146],"specific":[85],"selection":[86],"values":[88,183],"in":[89,115,130,184,236],"statements.":[92],"The":[93,222,275],"semantics":[94],"interprets":[97],"an":[101,154,164,282],"optimal":[102,128,155,165],"path,":[105,157,168],"namely,":[106],"path":[108],"that":[109,139,187],"satisfies":[111,120],"range":[113],"conditions":[114],"statements,":[118,123,204],"assert-constraint":[122],"produces":[126],"value":[129],"designated":[132],"variable,":[134],"among":[135],"all":[136],"paths":[138],"satisfy":[140],"(2).":[143],"Thus,":[144],"amounts":[150],"first":[152,226],"finding":[153],"then":[159,279],"procedurally":[160],"executing":[161],"it.To":[162],"find":[163],"we":[169,215],"developed":[171,217],"reduction":[173],"standard":[176],"constraint":[177,220,249,261],"optimization":[178,284],"formulation.":[179],"Constraint":[180],"variables":[181,186],"represent":[182],"can":[188],"created":[190],"at":[191],"any":[192],"state":[193,208],"execution.":[197],"Constraints":[198],"encode":[199],"transitions,":[200],"triggered":[201],"by":[202,225,247],"from":[205],"one":[206],"next.Based":[211],"on":[212],"reduction,":[214],"compiler.":[221],"compiler":[223],"operates":[224],"translating":[227],"Java":[229,234],"into":[231],"similar":[233],"primitive":[239],"operators":[241,250],"data":[243,252],"types":[244],"are":[245],"replaced":[246],"symbolic":[248,272],"types.":[253],"This":[254,263],"intermediate":[255],"java":[256],"functions":[258],"generator.":[262],"compiled":[266],"executed":[268],"produce":[270],"problem.":[274],"problem":[277],"submitted":[280],"external":[283],"solver.":[285]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}