{"id":"https://openalex.org/W2143039293","doi":null,"title":"Functional programming and embedded systems.","display_name":"Functional programming and embedded systems.","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2143039293","mag":"2143039293"},"language":"en","primary_location":{"id":"pmh:oai:etheses.whiterose.ac.uk:10807","doi":null,"is_oa":true,"landing_page_url":"https://etheses.whiterose.ac.uk/id/eprint/10807/1/261105.pdf","pdf_url":"https://etheses.whiterose.ac.uk/id/eprint/10807/1/261105.pdf","source":{"id":"https://openalex.org/S4306401585","display_name":"White Rose eTheses Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://etheses.whiterose.ac.uk/id/eprint/10807/1/261105.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085301885","display_name":"Malcolm Wallace","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Malcolm Wallace","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5085301885"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9932000041007996,"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.9932000041007996,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.004600000102072954,"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"}},{"id":"https://openalex.org/T12941","display_name":"Embedded Systems and FPGA Design","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.9279999732971191},{"id":"https://openalex.org/keywords/embedded-systems","display_name":"embedded systems","score":0.996999979019165},{"id":"https://openalex.org/keywords/functional-abstraction","display_name":"functional abstraction","score":0.6069999933242798},{"id":"https://openalex.org/keywords/device-drivers","display_name":"device drivers","score":0.8299999833106995},{"id":"https://openalex.org/keywords/communicating-processes","display_name":"communicating processes","score":0.9919999837875366},{"id":"https://openalex.org/keywords/interrupts","display_name":"interrupts","score":0.9739999771118164},{"id":"https://openalex.org/keywords/real-time-garbage-collection","display_name":"real-time garbage collection","score":0.9190000295639038},{"id":"https://openalex.org/keywords/referential-transparency","display_name":"referential transparency","score":0.9580000042915344},{"id":"https://openalex.org/keywords/reactive-systems","display_name":"reactive systems","score":0.703000009059906},{"id":"https://openalex.org/keywords/sensor-monitoring","display_name":"sensor-based monitoring","score":0.4860000014305115}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5361585021018982},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3787361979484558}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:etheses.whiterose.ac.uk:10807","doi":null,"is_oa":true,"landing_page_url":"https://etheses.whiterose.ac.uk/id/eprint/10807/1/261105.pdf","pdf_url":"https://etheses.whiterose.ac.uk/id/eprint/10807/1/261105.pdf","source":{"id":"https://openalex.org/S4306401585","display_name":"White Rose eTheses Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.29.5561","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5561","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.york.ac.uk/ftpdir/reports/YCST-95-04.ps.Z","raw_type":"text"},{"id":"mag:2143039293","doi":null,"is_oa":false,"landing_page_url":"https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.5561&rep=rep1&type=pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:etheses.whiterose.ac.uk:10807","doi":null,"is_oa":true,"landing_page_url":"https://etheses.whiterose.ac.uk/id/eprint/10807/1/261105.pdf","pdf_url":"https://etheses.whiterose.ac.uk/id/eprint/10807/1/261105.pdf","source":{"id":"https://openalex.org/S4306401585","display_name":"White Rose eTheses Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2143039293.pdf","grobid_xml":"https://content.openalex.org/works/W2143039293.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W13731675","https://openalex.org/W81733669","https://openalex.org/W124095830","https://openalex.org/W131613909","https://openalex.org/W1492387880","https://openalex.org/W1507155521","https://openalex.org/W1518417396","https://openalex.org/W1542049623","https://openalex.org/W1543195347","https://openalex.org/W1550186809","https://openalex.org/W1559986400","https://openalex.org/W1567115339","https://openalex.org/W1584322803","https://openalex.org/W1600499777","https://openalex.org/W1663179985","https://openalex.org/W1850047177","https://openalex.org/W1966458383","https://openalex.org/W1980289211","https://openalex.org/W1984197882","https://openalex.org/W1985220128","https://openalex.org/W1990030635","https://openalex.org/W1992643862","https://openalex.org/W2002803248","https://openalex.org/W2016739322","https://openalex.org/W2022667180","https://openalex.org/W2028147082","https://openalex.org/W2037177386","https://openalex.org/W2052271830","https://openalex.org/W2053346612","https://openalex.org/W2055295051","https://openalex.org/W2069969950","https://openalex.org/W2070912453","https://openalex.org/W2071866027","https://openalex.org/W2075435997","https://openalex.org/W2077988951","https://openalex.org/W2082938406","https://openalex.org/W2089241138","https://openalex.org/W2090415524","https://openalex.org/W2103953153","https://openalex.org/W2109488193","https://openalex.org/W2110573845","https://openalex.org/W2113535112","https://openalex.org/W2152944474","https://openalex.org/W2159692344","https://openalex.org/W2161531345","https://openalex.org/W2166089338","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W2008081313","https://openalex.org/W2053346612","https://openalex.org/W1543702549","https://openalex.org/W2536229619","https://openalex.org/W7019486118","https://openalex.org/W2006048424","https://openalex.org/W1999337016","https://openalex.org/W2117242027","https://openalex.org/W603042179","https://openalex.org/W2914644984"],"abstract_inverted_index":{"Embedded":[0,12],"computer":[1],"systems":[2,13],"seem":[3],"to":[4,21,27,42,52,90,98,105],"be":[5,74],"the":[6,66,81,91],"antithesis":[7],"of":[8,68,128],"functional":[9,62,82],"language":[10,102],"systems.":[11,70],"are":[14,18,34,96],"small,":[15],"stand-alone,":[16],"and":[17,33,45,115],"often":[19],"forced":[20],"accept":[22],"inelegant":[23],"design":[24],"compromises":[25,72],"due":[26],"hardware":[28],"cost.":[29],"They":[30],"run":[31],"continuously":[32],"reactive,":[35],"that":[36],"is,":[37],"their":[38],"primary":[39],"goal":[40],"is":[41,88,123,131],"monitor":[43],"sensors":[44],"control":[46,55],"effectors,":[47],"using":[48],"observed":[49],"external":[50],"events":[51],"trigger":[53],"state-changing":[54],"actions.":[56],"Yet":[57],"this":[58],"thesis":[59],"describes":[60],"how":[61],"abstraction":[63],"can":[64,73],"tame":[65],"inelegance":[67],"embedded":[69],"Architectural":[71],"made":[75],"in":[76,103],"device":[77],"drivers,":[78],"programmed":[79],"within":[80],"language,":[83],"but":[84],"a":[85,99,116],"function-level":[86],"interface":[87],"presented":[89],"application":[92],"programmer.":[93],"Four":[94],"modifications":[95],"introduced":[97],"test-bed":[100],"purely-functional":[101],"order":[104],"facilitate":[106],"embedded-systems":[107],"programming:":[108],"I/O":[109],"register":[110],"access;":[111],"communicating":[112,129],"processes;":[113],"interrupts;":[114],"real-time":[117],"incremental":[118],"garbage":[119],"collector.":[120],"Referential":[121],"transparency":[122],"preserved.":[124],"The":[125],"conventional":[126],"model":[127],"processes":[130],"augmente...":[132]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}