{"id":"https://openalex.org/W2493326311","doi":"https://doi.org/10.1007/978-1-349-21151-7_2","title":"Abstract Data Types and Program Design","display_name":"Abstract Data Types and Program Design","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2493326311","doi":"https://doi.org/10.1007/978-1-349-21151-7_2","mag":"2493326311"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-349-21151-7_2","doi":"https://doi.org/10.1007/978-1-349-21151-7_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-349-21151-7_2","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Abstract Data Types and Algorithms","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4300618133","display_name":"Abstract Data Types and Algorithms"},"type":"conference-abstract","is_traditional":false,"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/A5108295799","display_name":"Manoochehr Azmoodeh","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I14689143","display_name":"BT Research","ror":"https://ror.org/03308db07","country_code":"GB","type":"facility","lineage":["https://openalex.org/I1332878012","https://openalex.org/I14689143"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Manoochehr Azmoodeh","raw_affiliation_strings":["British Telecom Research Laboratories, Scottish Mutual House, Lower Brook Street, Ipswich, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"British Telecom Research Laboratories, Scottish Mutual House, Lower Brook Street, Ipswich, UK","institution_ids":["https://openalex.org/I14689143"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108295799"],"corresponding_institution_ids":["https://openalex.org/I14689143"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"47"},"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.9735999703407288,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9735999703407288,"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/T10533","display_name":"Teaching and Learning Programming","score":0.0142000000923872,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.002199999988079071,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/abstract-data-types","display_name":"abstract data types","score":0.9990000128746033},{"id":"https://openalex.org/keywords/program-design","display_name":"program design","score":0.9670000076293945},{"id":"https://openalex.org/keywords/assembly-language","display_name":"assembly language","score":0.5820000171661377},{"id":"https://openalex.org/keywords/control-structures","display_name":"control structures","score":0.5090000033378601},{"id":"https://openalex.org/keywords/data-representation","display_name":"data representation","score":0.6909999847412109},{"id":"https://openalex.org/keywords/program-specification","display_name":"program specification","score":0.4009999930858612}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7849597930908203},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7700284719467163},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.6643435955047607},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5160200595855713},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.48977041244506836},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.46184200048446655},{"id":"https://openalex.org/C154240960","wikidata":"https://www.wikidata.org/wiki/Q2860294","display_name":"Database-centric architecture","level":5,"score":0.4481765031814575},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4256803095340729},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4139772653579712},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3697994649410248},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.23271554708480835},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.2068120837211609},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13414514064788818},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10831424593925476},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.10062062740325928},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-1-349-21151-7_2","doi":"https://doi.org/10.1007/978-1-349-21151-7_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-349-21151-7_2","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Abstract Data Types and Algorithms","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W7970970","https://openalex.org/W208068084","https://openalex.org/W1523410483","https://openalex.org/W1564088317","https://openalex.org/W2015874281","https://openalex.org/W2028957927","https://openalex.org/W2070115085","https://openalex.org/W2073544767","https://openalex.org/W2093415968","https://openalex.org/W2094945667","https://openalex.org/W2134338128","https://openalex.org/W2147869465","https://openalex.org/W2148817888","https://openalex.org/W2166822586","https://openalex.org/W2911980423","https://openalex.org/W2987977008"],"related_works":["https://openalex.org/W2612348635","https://openalex.org/W1594897829","https://openalex.org/W128068592","https://openalex.org/W1980558118","https://openalex.org/W1704164677","https://openalex.org/W4300786436","https://openalex.org/W4229802041","https://openalex.org/W2500299807","https://openalex.org/W1918524196","https://openalex.org/W7128529338"],"abstract_inverted_index":{"A":[0],"computer":[1,18,44,49],"program":[2,50,116,190,239],"(at":[3],"an":[4,192],"assembly-language":[5],"level)":[6],"can":[7,145,170,230],"be":[8,61,231,260],"informally":[9],"defined":[10],"as":[11,81,262],"a":[12,17,21,33,43,48,79,82,97,106,114,118,162,189,198,235],"sequence":[13],"of":[14,29,42,65,68,78,92,103,139,151,188,217,226],"instructions":[15,31],"for":[16,32,117,165,207],"to":[19,56,60,112,133],"perform":[20],"particular":[22],"task.":[23,119],"The":[24,215],"exact":[25],"form":[26],"and":[27,109,129,155,176,195,213,247,256],"sequencing":[28],"the":[30,39,58,66,69,76,93,124,137,152,185,219,224,250,257,263],"given":[34],"task":[35,59,80],"depend":[36],"largely":[37],"on":[38,54,149],"underlying":[40],"architecture":[41,201,222],"(physical":[45],"machine).":[46],"Writing":[47],"therefore":[51],"requires":[52],"decisions":[53],"how":[55],"represent":[57],"achieved":[62],"in":[63,90,156,238],"terms":[64,91],"constructs":[67,206],"architecture.":[70],"However,":[71],"more":[72,174,199],"often":[73],"than":[74],"not,":[75],"formulation":[77],"specification":[83],"is":[84,223,254],"very":[85],"different":[86],"from":[87],"its":[88],"representation":[89],"architectural-level":[94],"instructions.":[95],"Such":[96],"disparity":[98],"between":[99],"these":[100],"two":[101],"levels":[102],"programming":[104,209],"implies":[105],"considerable":[107],"intellectual":[108],"organisational":[110,125,142],"effort":[111],"produce":[113],"correct":[115],"In":[120,178],"most":[121],"cases,":[122],"however,":[123],"details":[126],"are":[127],"numerous":[128],"they":[130,169],"become":[131],"difficult":[132],"handle.":[134],"To":[135],"reduce":[136],"amount":[138],"such":[140],"detailed":[141],"activity,":[143],"we":[144,159,181],"define":[146],"\u2018idealised\u2019":[147],"architectures":[148],"top":[150],"machine":[153,246],"architecture,":[154,194],"this":[157,179],"way":[158],"will":[160],"provide":[161],"new":[163,220],"framework":[164],"programmers":[166],"so":[167],"that":[168],"express":[171],"their":[172],"requirements":[173],"easily":[175],"effectively.":[177],"chapter":[180],"shall":[182],"briefly":[183],"discuss":[184],"main":[186],"components":[187],"using":[191,218],"\u2018assembly-language\u2019-level":[193],"then":[196],"describe":[197],"idealised":[200],"which":[202,229],"would":[203],"accommodate":[204],"higher-level":[205,221],"certain":[208],"elements:":[210],"operation,":[211],"control":[212],"data.":[214],"effect":[216],"removal":[225],"unnecessary":[227],"details,":[228],"dealt":[232],"with":[233],"at":[234],"later":[236],"stage":[237],"development.":[240],"These":[241],"keywords":[242,258],"were":[243],"added":[244],"by":[245,249],"not":[248],"authors.":[251],"This":[252],"process":[253],"experimental":[255],"may":[259],"updated":[261],"learning":[264],"algorithm":[265],"improves.":[266]},"counts_by_year":[],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-08-23T00:00:00"}