{"id":"https://openalex.org/W2320903631","doi":"https://doi.org/10.1587/transinf.2015edl8141","title":"Bounded-Choice Statements for User Interaction in Imperative Programming","display_name":"Bounded-Choice Statements for User Interaction in Imperative Programming","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2320903631","doi":"https://doi.org/10.1587/transinf.2015edl8141","mag":"2320903631"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2015edl8141","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2015edl8141","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E99.D/3/E99.D_2015EDL8141/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E99.D/3/E99.D_2015EDL8141/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007182198","display_name":"Keehang Kwon","orcid":null},"institutions":[{"id":"https://openalex.org/I51226738","display_name":"Dong-A University","ror":"https://ror.org/03qvtpc38","country_code":"KR","type":"education","lineage":["https://openalex.org/I51226738"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Keehang KWON","raw_affiliation_strings":["Dept. of Computer Eng., Dong-A University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Eng., Dong-A University","institution_ids":["https://openalex.org/I51226738"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034395219","display_name":"Jeongyoon Seo","orcid":null},"institutions":[{"id":"https://openalex.org/I51226738","display_name":"Dong-A University","ror":"https://ror.org/03qvtpc38","country_code":"KR","type":"education","lineage":["https://openalex.org/I51226738"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jeongyoon SEO","raw_affiliation_strings":["Dept. of Computer Eng., Dong-A University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Eng., Dong-A University","institution_ids":["https://openalex.org/I51226738"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068183040","display_name":"Dae-Seong Kang","orcid":"https://orcid.org/0000-0003-0186-2430"},"institutions":[{"id":"https://openalex.org/I51226738","display_name":"Dong-A University","ror":"https://ror.org/03qvtpc38","country_code":"KR","type":"education","lineage":["https://openalex.org/I51226738"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Daeseong KANG","raw_affiliation_strings":["Dept. of Electronics Eng., Dong-A University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electronics Eng., Dong-A University","institution_ids":["https://openalex.org/I51226738"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I51226738"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01246658,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"E99.D","issue":"3","first_page":"751","last_page":"755"},"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.9994000196456909,"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.9994000196456909,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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/T10470","display_name":"Usability and User Interface Design","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1709","display_name":"Human-Computer Interaction"},"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/bounded-function","display_name":"Bounded function","score":0.8443083763122559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.794019877910614},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.6727903485298157},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.563293993473053},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4501136541366577},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.43421995639801025},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.4244082570075989},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33304888010025024},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13915753364562988}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.8443083763122559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.794019877910614},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.6727903485298157},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.563293993473053},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4501136541366577},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.43421995639801025},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.4244082570075989},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33304888010025024},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13915753364562988},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transinf.2015edl8141","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2015edl8141","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E99.D/3/E99.D_2015EDL8141/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transinf.2015edl8141","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2015edl8141","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E99.D/3/E99.D_2015EDL8141/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321210","display_name":"Dong-A University","ror":"https://ror.org/03qvtpc38"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2320903631.pdf","grobid_xml":"https://content.openalex.org/works/W2320903631.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W46734479","https://openalex.org/W1964882086","https://openalex.org/W2015274054","https://openalex.org/W2016309906","https://openalex.org/W2093111544","https://openalex.org/W2106458801","https://openalex.org/W4206717895"],"related_works":["https://openalex.org/W186129870","https://openalex.org/W3200522959","https://openalex.org/W4383099232","https://openalex.org/W2997993211","https://openalex.org/W2475705533","https://openalex.org/W2253954117","https://openalex.org/W1993275793","https://openalex.org/W1570489012","https://openalex.org/W2550339148","https://openalex.org/W1964825638"],"abstract_inverted_index":{"Adding":[0],"versatile":[1],"interactions":[2],"to":[3,122],"imperative":[4],"programming":[5],"-":[6,11,119,121],"C,":[7],"Java":[8],"and":[9,127],"Android":[10],"is":[12,59,72],"an":[13,140],"essential":[14],"task.":[15],"Unfortunately,":[16],"existing":[17,38],"languages":[18,39],"provide":[19],"only":[20,48],"limited":[21],"constructs":[22,27],"for":[23,76,90,117,124,151],"user":[24,47,91],"interaction.":[25],"These":[26],"are":[28],"usually":[29],"in":[30,61],"the":[31,42,46,50,55,62,132,143,152],"form":[32],"of":[33,57,142],"unbounded":[34,60],"quantification.":[35],"For":[36],"example,":[37],"can":[40,66],"take":[41],"keyboard":[43,118],"input":[44,94],"from":[45,131],"via":[49,138],"read(x)/scan(x)":[51],"statement.":[52,105],"Note":[53],"that":[54,64],"value":[56],"x":[58,65],"sense":[63],"have":[67],"any":[68],"value.":[69],"This":[70],"statement":[71,116,150],"thus":[73],"not":[74],"useful":[75],"applications":[77],"with":[78,146],"bounded":[79,83],"inputs.":[80],"To":[81,106],"support":[82],"choices,":[84],"we":[85,111],"propose":[86],"new":[87,103,148],"bounded-choice":[88,104,115,149],"statements":[89],"interation.":[92],"Each":[93],"device":[95],"(keyboard,":[96],"mouse,":[97],"touchpad,":[98],"...)":[99],"naturally":[100],"requires":[101],"a":[102,114,147],"make":[107],"things":[108],"simple,":[109],"however,":[110],"focus":[112],"on":[113],"kchoose":[120],"allow":[123],"more":[125,128],"controlled":[126],"guided":[129],"participation":[130],"user.":[133],"We":[134],"illustrate":[135],"our":[136],"idea":[137],"CBI,":[139],"extension":[141],"core":[144],"C":[145],"keyboard.":[153]},"counts_by_year":[],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}