{"id":"https://openalex.org/W1554024275","doi":"https://doi.org/10.1023/a:1011184310224","title":"An Approach to the Specification and Verification of a Hardware Compilation Scheme","display_name":"An Approach to the Specification and Verification of a Hardware Compilation Scheme","publication_year":2001,"publication_date":"2001-05-01","ids":{"openalex":"https://openalex.org/W1554024275","doi":"https://doi.org/10.1023/a:1011184310224","mag":"1554024275"},"language":"en","primary_location":{"id":"doi:10.1023/a:1011184310224","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1011184310224","pdf_url":null,"source":{"id":"https://openalex.org/S32326811","display_name":"The Journal of Supercomputing","issn_l":"0920-8542","issn":["0920-8542","1573-0484"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Supercomputing","raw_type":"journal-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/A5041103024","display_name":"Jonathan P. Bowen","orcid":"https://orcid.org/0000-0002-8748-6140"},"institutions":[{"id":"https://openalex.org/I28257850","display_name":"London South Bank University","ror":"https://ror.org/02vwnat91","country_code":"GB","type":"education","lineage":["https://openalex.org/I28257850"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jonathan P. Bowen","raw_affiliation_strings":["Centre for Applied Formal Methods, School of Computing, Information Systems and Mathematics, South Bank University, Borough Road, London, SE1 0AA, UK","South Bank University, Centre for Applied Formal Methods, School of Computing, Information Systems and Mathematics, Borough Road, London SE1 0AA, UKjonathan.bowen@sbu.ac.uk"],"affiliations":[{"raw_affiliation_string":"Centre for Applied Formal Methods, School of Computing, Information Systems and Mathematics, South Bank University, Borough Road, London, SE1 0AA, UK","institution_ids":["https://openalex.org/I28257850"]},{"raw_affiliation_string":"South Bank University, Centre for Applied Formal Methods, School of Computing, Information Systems and Mathematics, Borough Road, London SE1 0AA, UKjonathan.bowen@sbu.ac.uk","institution_ids":["https://openalex.org/I28257850"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100515982","display_name":"He Jifeng","orcid":"https://orcid.org/0009-0002-0290-0515"},"institutions":[{"id":"https://openalex.org/I190118902","display_name":"United Nations University Institute on Globalization, Culture and Mobility","ror":"https://ror.org/059gc9s81","country_code":"ES","type":"education","lineage":["https://openalex.org/I190118902","https://openalex.org/I4210104502"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"He Jifeng","raw_affiliation_strings":["International Institute for Software Technology, The United Nations University, PO Box 3058, Macau","The United Nations University, International Institute for Software Technology, PO Box 3058, Macaujifeng@iist.unu.edu#TAB#"],"affiliations":[{"raw_affiliation_string":"International Institute for Software Technology, The United Nations University, PO Box 3058, Macau","institution_ids":["https://openalex.org/I190118902"]},{"raw_affiliation_string":"The United Nations University, International Institute for Software Technology, PO Box 3058, Macaujifeng@iist.unu.edu#TAB#","institution_ids":["https://openalex.org/I190118902"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041103024"],"corresponding_institution_ids":["https://openalex.org/I28257850"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.3215,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.86953942,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"19","issue":"1","first_page":"23","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9092636108398438},{"id":"https://openalex.org/keywords/occam","display_name":"occam","score":0.7499921917915344},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7111161947250366},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6945919990539551},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6310038566589355},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5018343925476074},{"id":"https://openalex.org/keywords/high-level-programming-language","display_name":"High-level programming language","score":0.4881752133369446},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.4677819013595581},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.4628737270832062},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.45795759558677673},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4434375464916229},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40780386328697205},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.40165963768959045},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.29085829854011536},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.2842522859573364}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9092636108398438},{"id":"https://openalex.org/C78469957","wikidata":"https://www.wikidata.org/wiki/Q838062","display_name":"occam","level":2,"score":0.7499921917915344},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7111161947250366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6945919990539551},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6310038566589355},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5018343925476074},{"id":"https://openalex.org/C19024347","wikidata":"https://www.wikidata.org/wiki/Q211496","display_name":"High-level programming language","level":3,"score":0.4881752133369446},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.4677819013595581},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.4628737270832062},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.45795759558677673},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4434375464916229},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40780386328697205},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.40165963768959045},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.29085829854011536},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2842522859573364}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1011184310224","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1011184310224","pdf_url":null,"source":{"id":"https://openalex.org/S32326811","display_name":"The Journal of Supercomputing","issn_l":"0920-8542","issn":["0920-8542","1573-0484"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Supercomputing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W44516245","https://openalex.org/W47999224","https://openalex.org/W1006098191","https://openalex.org/W1494289517","https://openalex.org/W1515621220","https://openalex.org/W1518191762","https://openalex.org/W1530674317","https://openalex.org/W1544906953","https://openalex.org/W1566925011","https://openalex.org/W1569097447","https://openalex.org/W1586502670","https://openalex.org/W1589753495","https://openalex.org/W1696557569","https://openalex.org/W1869337474","https://openalex.org/W2010945794","https://openalex.org/W2020338987","https://openalex.org/W2044050206","https://openalex.org/W2074348939","https://openalex.org/W2085912345","https://openalex.org/W2107526733","https://openalex.org/W2127789365","https://openalex.org/W2131377110","https://openalex.org/W2138612658","https://openalex.org/W2144127604","https://openalex.org/W2152537396","https://openalex.org/W2160196023","https://openalex.org/W2503657378","https://openalex.org/W2624363895","https://openalex.org/W4212811695","https://openalex.org/W4229656255","https://openalex.org/W4231602332","https://openalex.org/W4250056092","https://openalex.org/W6635653648"],"related_works":["https://openalex.org/W4252501555","https://openalex.org/W1523769955","https://openalex.org/W1602178951","https://openalex.org/W2049583580","https://openalex.org/W2473250120","https://openalex.org/W2128260460","https://openalex.org/W1497385637","https://openalex.org/W2519339279","https://openalex.org/W2044422526","https://openalex.org/W102258930"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-24T08:02:53.985720","created_date":"2016-06-24T00:00:00"}