{"id":"https://openalex.org/W2050149949","doi":"https://doi.org/10.1002/spe.4380230102","title":"Experimenting with dynamic linking with ADA","display_name":"Experimenting with dynamic linking with ADA","publication_year":1993,"publication_date":"1993-01-01","ids":{"openalex":"https://openalex.org/W2050149949","doi":"https://doi.org/10.1002/spe.4380230102","mag":"2050149949"},"language":"en","primary_location":{"id":"doi:10.1002/spe.4380230102","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380230102","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://openportal.isti.cnr.it/doc?id=people______::8a87cfa508fbd5d9336dfc77b66e2a60","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039484805","display_name":"Paola Inverardi","orcid":"https://orcid.org/0000-0001-6734-1318"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paola Inverardi","raw_affiliation_strings":["Istituto di Elaborazione dell'Informazione (CNR), Via S. Maria 46, 1\u201356100 Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Elaborazione dell'Informazione (CNR), Via S. Maria 46, 1\u201356100 Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012008673","display_name":"Franco Mazzanti","orcid":"https://orcid.org/0000-0003-4562-8777"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Mazzanti","raw_affiliation_strings":["Istituto di Elaborazione dell'Informazione (CNR), Via S. Maria 46, 1\u201356100 Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Elaborazione dell'Informazione (CNR), Via S. Maria 46, 1\u201356100 Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.15241006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"23","issue":"1","first_page":"1","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/unix","display_name":"Unix","score":0.9007440209388733},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.8259657025337219},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7812786102294922},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6524226665496826},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5857096910476685},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5809342265129089},{"id":"https://openalex.org/keywords/unix-architecture","display_name":"Unix architecture","score":0.4994361400604248},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.48133572936058044},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4685702323913574},{"id":"https://openalex.org/keywords/semaphore","display_name":"Semaphore","score":0.4496156573295593},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3445853590965271},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09091675281524658}],"concepts":[{"id":"https://openalex.org/C112968700","wikidata":"https://www.wikidata.org/wiki/Q11368","display_name":"Unix","level":3,"score":0.9007440209388733},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.8259657025337219},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7812786102294922},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6524226665496826},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5857096910476685},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5809342265129089},{"id":"https://openalex.org/C98536961","wikidata":"https://www.wikidata.org/wiki/Q7896857","display_name":"Unix architecture","level":4,"score":0.4994361400604248},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.48133572936058044},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4685702323913574},{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.4496156573295593},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3445853590965271},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09091675281524658},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1002/spe.4380230102","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.4380230102","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},{"id":"pmh:oai:dnet:people______::0679fe58badbbbf519593e12c5865b36","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::0679fe58badbbbf519593e12c5865b36","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Software, practice & experience (Print) 23 (1993): 1\u201314. doi:10.1002/spe.4380230102","raw_type":"Journal article"},{"id":"pmh:oai:dnet:people______::8a87cfa508fbd5d9336dfc77b66e2a60","is_oa":true,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::8a87cfa508fbd5d9336dfc77b66e2a60","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISTI Technical Reports, 1990","raw_type":"Other"}],"best_oa_location":{"id":"pmh:oai:dnet:people______::8a87cfa508fbd5d9336dfc77b66e2a60","is_oa":true,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::8a87cfa508fbd5d9336dfc77b66e2a60","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISTI Technical Reports, 1990","raw_type":"Other"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W767206583","https://openalex.org/W1542049623","https://openalex.org/W1985136467","https://openalex.org/W2013000017","https://openalex.org/W2042907902","https://openalex.org/W2043618268","https://openalex.org/W2096870603","https://openalex.org/W2478500381","https://openalex.org/W2758831193","https://openalex.org/W6661470742"],"related_works":["https://openalex.org/W1575418055","https://openalex.org/W1975149377","https://openalex.org/W77078193","https://openalex.org/W2475627229","https://openalex.org/W2086577855","https://openalex.org/W2029092867","https://openalex.org/W644889988","https://openalex.org/W2935962376","https://openalex.org/W4247949609","https://openalex.org/W2036095824"],"abstract_inverted_index":{"Abstract":[0],"An":[1],"approach":[2],"to":[3,59,94],"achieving":[4],"dynamic":[5,23,77],"reconfiguration":[6,24],"within":[7],"the":[8,33,44,84,95],"framework":[9],"of":[10,68],"Ada":[11,26,37,57,85],"1":[12],"is":[13,27,50,73],"described.":[14],"A":[15],"technique":[16],"for":[17,22],"introducing":[18,89],"a":[19,41],"kernel":[20,54],"facility":[21,78],"in":[25],"illustrated,":[28],"and":[29],"its":[30,61],"implementation":[31],"using":[32],"Verdix":[34],"VADS":[35],"5.5":[36],"compiling":[38],"system":[39,49],"on":[40],"Sun3\u2013120":[42],"running":[43],"4.3":[45],"BSD":[46],"Unix":[47],"operating":[48],"discussed.":[51],"This":[52],"experimental":[53],"allows":[55],"an":[56],"program":[58],"change":[60],"own":[62],"configuration":[63],"dynamically,":[64],"linking":[65],"new":[66],"pieces":[67],"code":[69],"at":[70,83],"run\u2010time.":[71],"It":[72],"shown":[74],"how":[75],"this":[76],"can":[79],"be":[80],"integrated":[81],"consistently":[82],"language":[86],"level,":[87],"without":[88],"severe":[90],"inconsistencies":[91],"with":[92],"respect":[93],"Standard":[96],"semantics.":[97]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}