{"id":"https://openalex.org/W2065785821","doi":"https://doi.org/10.1109/mc.1985.1662797","title":"Concurrent Prolog as an Efficient VLSI Design Language","display_name":"Concurrent Prolog as an Efficient VLSI Design Language","publication_year":1985,"publication_date":"1985-02-01","ids":{"openalex":"https://openalex.org/W2065785821","doi":"https://doi.org/10.1109/mc.1985.1662797","mag":"2065785821"},"language":"en","primary_location":{"id":"doi:10.1109/mc.1985.1662797","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mc.1985.1662797","pdf_url":null,"source":{"id":"https://openalex.org/S178916657","display_name":"Computer","issn_l":"0018-9162","issn":["0018-9162","1558-0814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer","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/A5110755125","display_name":"Suzuki","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Suzuki","raw_affiliation_strings":["Mathematical Engineering Department, Faculty of Engineering, University of Tokyo, Bunkyo, Tokyo, Japan","university of Tokyo;"],"affiliations":[{"raw_affiliation_string":"Mathematical Engineering Department, Faculty of Engineering, University of Tokyo, Bunkyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]},{"raw_affiliation_string":"university of Tokyo;","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110755125"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":7.6998,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.9722086,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"18","issue":"2","first_page":"33","last_page":"40"},"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.8834827542304993},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.8109811544418335},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.702562153339386},{"id":"https://openalex.org/keywords/very-large-scale-integration","display_name":"Very-large-scale integration","score":0.6941652297973633},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4498351216316223},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3566247820854187},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.21363642811775208}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8834827542304993},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.8109811544418335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.702562153339386},{"id":"https://openalex.org/C14580979","wikidata":"https://www.wikidata.org/wiki/Q876049","display_name":"Very-large-scale integration","level":2,"score":0.6941652297973633},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4498351216316223},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3566247820854187},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.21363642811775208}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mc.1985.1662797","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mc.1985.1662797","pdf_url":null,"source":{"id":"https://openalex.org/S178916657","display_name":"Computer","issn_l":"0018-9162","issn":["0018-9162","1558-0814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1530974209","https://openalex.org/W1570839707","https://openalex.org/W1726232185","https://openalex.org/W2100738443","https://openalex.org/W2112962394","https://openalex.org/W2118387410","https://openalex.org/W4242890543","https://openalex.org/W6631929662"],"related_works":["https://openalex.org/W2473250120","https://openalex.org/W2037317228","https://openalex.org/W2112962394","https://openalex.org/W1608659702","https://openalex.org/W2088007073","https://openalex.org/W1548535723","https://openalex.org/W2135396778","https://openalex.org/W1508480023","https://openalex.org/W1594655857","https://openalex.org/W1984698099"],"abstract_inverted_index":{"As":[0],"long":[1],"as":[2,12,14,60],"simulation":[3,50,127,169,182],"is":[4,26,58,97,128,143,178],"relied":[5],"upon,":[6],"the":[7,15,27,84,130,153,189],"hardware":[8,57,88,110],"will":[9,80],"only":[10,28],"be":[11,81,147],"good":[13],"test":[16,118],"data;":[17],"therefore":[18],"most":[19],"widely":[20],"used":[21],"computers":[22],"contain":[23],"bugs.":[24],"Verification":[25],"known":[29],"technique":[30],"for":[31,89,103,136,181,193],"theoretically":[32],"complete":[33],"debugging,":[34],"but":[35],"it":[36,96],"remains":[37],"impractical":[38],"despite":[39],"researchers'":[40],"efforts.":[41],"This":[42],"article":[43],"explores":[44],"a":[45,163],"methodology":[46],"in":[47,61,70],"between":[48,167],"functional":[49,85,126,168],"and":[51,65,112,155,170,186],"formal":[52,62,141,171],"verification.":[53,63],"The":[54,106,120,138],"correctness":[55],"of":[56,75,87,122,157,173,183,191],"specified":[59],"Input":[64],"output":[66,78,113,131],"assertions":[67,79],"are":[68,115,133],"given":[69],"predicate":[71],"calculus.":[72],"Then,":[73],"instead":[74],"showing":[76],"that":[77,92,99,129,144],"satisfied":[82],"by":[83,152],"specification":[86],"all":[90],"inputs":[91],"satisfy":[93],"input":[94,108],"assertions,":[95],"shown":[98],"this":[100,123,194],"relation":[101],"holds":[102],"selected":[104],"inputs.":[105],"triple,":[107],"assertion,":[109],"specification,":[111],"assertion":[114],"run":[116],"against":[117],"data.":[119],"advantage":[121,139],"method":[124],"over":[125,140],"data":[132],"automatically":[134],"checked":[135],"correctness.":[137],"verification":[142,172],"processes":[145],"can":[146],"executed":[148],"without":[149],"being":[150],"penalized":[151],"incompleteness":[154],"inefficiency":[156],"theorem":[158],"provers.":[159],"Concurrent":[160],"Prolog":[161],"provides":[162],"readable,":[164],"efficient":[165],"compromise":[166],"VLSI":[174],"chip":[175],"design.":[176],"It":[177],"well":[179],"suited":[180],"component":[184],"systems":[185],"may":[187],"become":[188],"language":[190],"choice":[192],"application.":[195]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}