{"id":"https://openalex.org/W2970322365","doi":"https://doi.org/10.1109/mark.1979.8817188","title":"Design of a high-level language machine","display_name":"Design of a high-level language machine","publication_year":1979,"publication_date":"1979-06-01","ids":{"openalex":"https://openalex.org/W2970322365","doi":"https://doi.org/10.1109/mark.1979.8817188","mag":"2970322365"},"language":"en","primary_location":{"id":"doi:10.1109/mark.1979.8817188","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mark.1979.8817188","pdf_url":null,"source":{"id":"https://openalex.org/S4306497448","display_name":"1979 International Workshop on Managing Requirements Knowledge (MARK)","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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"1979 International Workshop on Managing Requirements Knowledge (MARK)","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/A5013258896","display_name":"G. J. Battarel","orcid":null},"institutions":[{"id":"https://openalex.org/I4210111582","display_name":"Honeywell (France)","ror":"https://ror.org/01ymvpb42","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210111582","https://openalex.org/I82514191"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"G. J. BATTAREL","raw_affiliation_strings":["Cii-Honeywell Bull, Louveciennes, France"],"affiliations":[{"raw_affiliation_string":"Cii-Honeywell Bull, Louveciennes, France","institution_ids":["https://openalex.org/I4210111582"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049654570","display_name":"Ren\u00e9 J. Chevance","orcid":null},"institutions":[{"id":"https://openalex.org/I4210111582","display_name":"Honeywell (France)","ror":"https://ror.org/01ymvpb42","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210111582","https://openalex.org/I82514191"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R. J. CHEVANCE","raw_affiliation_strings":["Cii-Honeywell Bull, Louveciennes, France"],"affiliations":[{"raw_affiliation_string":"Cii-Honeywell Bull, Louveciennes, France","institution_ids":["https://openalex.org/I4210111582"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013258896"],"corresponding_institution_ids":["https://openalex.org/I4210111582"],"apc_list":null,"apc_paid":null,"fwci":0.595,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.70175439,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"649","last_page":"656"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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.9983999729156494,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9975000023841858,"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/T11424","display_name":"Security and Verification in Computing","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.853061318397522},{"id":"https://openalex.org/keywords/cobol","display_name":"COBOL","score":0.6788529753684998},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6518155336380005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6508773565292358},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6181008219718933},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.6164872050285339},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5310015678405762},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.5285942554473877},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.460322767496109},{"id":"https://openalex.org/keywords/abstract-machine","display_name":"Abstract machine","score":0.4190056622028351},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.41850101947784424},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.4167723059654236},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3320186734199524},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.205111563205719}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.853061318397522},{"id":"https://openalex.org/C128595289","wikidata":"https://www.wikidata.org/wiki/Q131140","display_name":"COBOL","level":2,"score":0.6788529753684998},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6518155336380005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6508773565292358},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6181008219718933},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.6164872050285339},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5310015678405762},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5285942554473877},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.460322767496109},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.4190056622028351},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.41850101947784424},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.4167723059654236},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3320186734199524},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.205111563205719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mark.1979.8817188","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mark.1979.8817188","pdf_url":null,"source":{"id":"https://openalex.org/S4306497448","display_name":"1979 International Workshop on Managing Requirements Knowledge (MARK)","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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"1979 International Workshop on Managing Requirements Knowledge (MARK)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W148028367","https://openalex.org/W1517405987","https://openalex.org/W2036322491","https://openalex.org/W2046466047","https://openalex.org/W2047924755","https://openalex.org/W2060468294","https://openalex.org/W2092492242","https://openalex.org/W2094525908","https://openalex.org/W2118444975","https://openalex.org/W2144340144"],"related_works":["https://openalex.org/W1840931092","https://openalex.org/W2991765713","https://openalex.org/W4251738056","https://openalex.org/W568969596","https://openalex.org/W2500262580","https://openalex.org/W2139603995","https://openalex.org/W589483248","https://openalex.org/W2252115019","https://openalex.org/W4230264399","https://openalex.org/W2547169621"],"abstract_inverted_index":{"There":[0],"is":[1,11],"at":[2,24,107,310],"present":[3],"a":[4,8,29,34,98,139,148,179,188,223,247,264,305],"broad":[5],"consensus":[6],"that":[7,112,304],"capability-based":[9],"architecture":[10,176,190,225],"the":[12,25,68,74,83,95,119,135,156,161,199,207,215,218,289,298],"best":[13],"approach":[14],"to":[15,58,61,71,90,137,280,287],"safe":[16],"systems.":[17],"5":[18],",":[19,21],"3":[20],"6":[22],"However,":[23],"bare":[26],"hardware":[27],"level,":[28,110,170],"machine":[30,140],"should":[31,105,307],"provide":[32],"for":[33,126,128,154,191,255,318],"set":[35,265],"of":[36,43,45,48,55,67,85,97,101,151,214,249,266,292],"basic":[37,180],"mechanisms":[38,268],"(e.g.":[39],"processor":[40],"assignment,":[41],"manipulation":[42,50],"queues":[44],"processes,":[46],"definition":[47],"and":[49,82,100,198,228,239,259],"on":[51,145,232],"domains)":[52],"without":[53,117],"prejudging":[54],"any":[56],"policy":[57],"be":[59,115,143,165],"applied":[60],"these":[62,86],"elements.":[63],"The":[64,212],"internal":[65],"structure":[66],"objects":[69],"referred":[70],"by":[72,297],"capabilities,":[73],"way":[75],"they":[76,113],"are":[77,217],"organized":[78],"into":[79],"capability":[80,125],"lists":[81,87],"evolution":[84],"in":[88,209],"relation":[89],"various":[91],"events":[92],"appearing":[93],"throughout":[94],"life":[96],"program":[99],"its":[102,311,319],"possible":[103],"activations":[104],"appear":[106],"some":[108],"higher":[109],"so":[111,285],"can":[114],"modified":[116],"disturbing":[118],"hardware.":[120],"This":[121],"demands":[122],"flexibility":[123],"(the":[124],"emulating,":[127],"instance),":[129],"adaptability":[130],"(to":[131],"future":[132],"modifications)":[133],"or":[134],"ability":[136],"define":[138,187,222,246,263],"which":[141,171,182,233,302],"could":[142],"orientated,":[144],"demand,":[146],"toward":[147],"certain":[149],"class":[150],"applications":[152],"(see":[153],"instance,":[155],"Burroughs":[157],"B1700":[158],"approach).":[159],"In":[160],"following,":[162],"we":[163,172,183,186],"shall":[164,173],"concerned":[166],"mainly":[167],"with":[168],"this":[169,210],"call":[174],"\"virtual":[175],"level.\"":[177],"Considering":[178],"architecture,":[181],"describe":[184],"briefly,":[185],"virtual":[189,224],"higher-level":[192],"languages":[193],"(namely":[194],"PL/1,":[195,257],"COBOL,":[196],"FORTRAN":[197],"system":[200,325],"implementation":[201],"language":[202],"LIS,":[203],"13":[204],")":[205],"called":[206],"HLL-machine":[208,216],"discussion.":[211],"objectives":[213],"following:":[219],"\u2022":[220,244,261,271,294,321],"To":[221,245,262,272,295,322],"as":[226,230,278,286],"clean":[227],"homogeneous":[229],"possible,":[231],"compilers":[234],"may":[235],"become":[236],"more":[237,242,274,313],"simple,":[238],"debugging":[240],"aids":[241],"powerful.":[243],"minimum":[248],"intermediate":[250],"languages,":[251],"ideally,":[252],"just":[253],"one,":[254],"supporting":[256],"COBOL":[258],"FORTRAN.":[260],"run-time":[267],"enforcing":[269],"safety.":[270],"obtain":[273],"compact":[275],"object":[276],"programs,":[277],"compared":[279],"third":[281],"generation":[282],"computer":[283],"systems,":[284],"reduce":[288],"working":[290],"sets":[291],"programs.":[293],"abide":[296],"error":[299],"confinement":[300],"principle,":[301],"states":[303],"procedure":[306],"not":[308],"have":[309],"disposal":[312],"capabilities":[314],"than":[315],"actually":[316],"required":[317],"execution.":[320],"improve":[323],"overall":[324],"performance.":[326]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}