{"id":"https://openalex.org/W2074579911","doi":"https://doi.org/10.1145/1141277.1141611","title":"Dynamic instantiation-checking components","display_name":"Dynamic instantiation-checking components","publication_year":2006,"publication_date":"2006-04-23","ids":{"openalex":"https://openalex.org/W2074579911","doi":"https://doi.org/10.1145/1141277.1141611","mag":"2074579911"},"language":"en","primary_location":{"id":"doi:10.1145/1141277.1141611","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1141277.1141611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM symposium on Applied computing","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/A5041569881","display_name":"Nigamanth Sridhar","orcid":"https://orcid.org/0000-0002-1549-1848"},"institutions":[{"id":"https://openalex.org/I102607778","display_name":"Cleveland State University","ror":"https://ror.org/002tx1f22","country_code":"US","type":"education","lineage":["https://openalex.org/I102607778"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nigamanth Sridhar","raw_affiliation_strings":["Cleveland State University, Euclid Ave, Cleveland OH","Cleveland State University, Euclid Ave, Cleveland OH#TAB#"],"affiliations":[{"raw_affiliation_string":"Cleveland State University, Euclid Ave, Cleveland OH","institution_ids":["https://openalex.org/I102607778"]},{"raw_affiliation_string":"Cleveland State University, Euclid Ave, Cleveland OH#TAB#","institution_ids":["https://openalex.org/I102607778"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041569881"],"corresponding_institution_ids":["https://openalex.org/I102607778"],"apc_list":null,"apc_paid":null,"fwci":0.9035,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.80303453,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1442","last_page":"1446"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9975000023841858,"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/parameterized-complexity","display_name":"Parameterized complexity","score":0.9059410095214844},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8209782838821411},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.7595804929733276},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5466634631156921},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.46505627036094666},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4513610005378723},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44376543164253235},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.43391844630241394},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.43216896057128906},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.42505186796188354},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40785083174705505},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2484246790409088},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.22027167677879333},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.19412881135940552}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.9059410095214844},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8209782838821411},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.7595804929733276},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5466634631156921},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.46505627036094666},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4513610005378723},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44376543164253235},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.43391844630241394},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.43216896057128906},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.42505186796188354},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40785083174705505},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2484246790409088},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.22027167677879333},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.19412881135940552}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1141277.1141611","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1141277.1141611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM symposium on Applied computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W10511522","https://openalex.org/W31349019","https://openalex.org/W91433896","https://openalex.org/W201732929","https://openalex.org/W1497378668","https://openalex.org/W1589951597","https://openalex.org/W1649645444","https://openalex.org/W1835202718","https://openalex.org/W2029360780","https://openalex.org/W2029414465","https://openalex.org/W2042003890","https://openalex.org/W2122552817","https://openalex.org/W2137417304","https://openalex.org/W2143238865","https://openalex.org/W2911524086"],"related_works":["https://openalex.org/W1981002473","https://openalex.org/W2357657342","https://openalex.org/W2153432761","https://openalex.org/W2152623100","https://openalex.org/W4214878056","https://openalex.org/W1580144672","https://openalex.org/W2142042635","https://openalex.org/W1988127757","https://openalex.org/W1489487975","https://openalex.org/W4376854129"],"abstract_inverted_index":{"Parameterization":[0],"is":[1,18,108],"an":[2,15,60],"effective":[3],"technique":[4],"for":[5,31,63],"building":[6],"flexible,":[7],"reusable":[8],"software.":[9],"When":[10],"dealing":[11],"with":[12,96],"parameterized":[13,32,94],"components,":[14],"important":[16],"concern":[17],"the":[19,52,70],"time":[20],"at":[21],"which":[22],"parameters":[23],"are":[24],"bound.":[25],"Many":[26],"languages":[27],"provide":[28],"syntactic":[29],"support":[30,49],"components;":[33],"this":[34,81],"mode":[35],"of":[36,72],"parameterization":[37,68,77],"can":[38],"be":[39,46],"called":[40],"static":[41,67],"parameterization.":[42,65],"In":[43,80],"order":[44],"to":[45,48],"able":[47],"dynamic":[50,64,76],"reconfiguration,":[51],"Service":[53],"Facility":[54],"pattern":[55],"has":[56,69],"been":[57],"proposed":[58],"as":[59],"enabling":[61],"technology":[62],"However,":[66],"advantage":[71],"strong":[73],"type-checking":[74],"that":[75,89,100],"does":[78],"not.":[79],"paper,":[82],"we":[83],"present":[84],"DynInstaCheck":[85],"---":[86],"a":[87,111],"tool":[88],"automatically":[90],"instruments":[91],"dynamically":[92],"bound":[93],"components":[95],"run-time":[97],"checking":[98],"code":[99],"ensures":[101],"type-safe":[102],"parameter":[103],"binding.":[104],"The":[105],"source":[106],"instrumentation":[107],"done":[109],"in":[110],"non-intrusive":[112],"way,":[113],"using":[114],"aspect-oriented":[115],"programming.":[116]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}