乐胖代购免代理版

{"id":"https://openalex.org/W2069412546","doi":"https://doi.org/10.1145/954373.954379","title":"Euclid and PASCAL","display_name":"Euclid and PASCAL","publication_year":1978,"publication_date":"1978-03-01","ids":{"openalex":"https://openalex.org/W2069412546","doi":"https://doi.org/10.1145/954373.954379","mag":"2069412546"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/954373.954379","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/954373.954379","source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/954373.954379","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061422097","display_name":"Ted Venema","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ted Venema","raw_affiliation_strings":["* University of Toronto, Toronto, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"* University of Toronto, Toronto, Ontario, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090354071","display_name":"Jim des Rivi\u00e8res","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jim des Rivieres","raw_affiliation_strings":["* University of Toronto, Toronto, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"* University of Toronto, Toronto, Ontario, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.483,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.710703,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":75,"max":77},"biblio":{"volume":"13","issue":"3","first_page":"57","last_page":"69"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9998,"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":"Program Analysis and Verification Techniques","score":0.9998,"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/T10054","display_name":"Parallel Computing and Performance Optimization","score":0.9967,"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9939,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pascal","display_name":"Pascal (unit)","score":0.88554335},{"id":"https://openalex.org/keywords/programming-language-semantics","display_name":"Programming Language Semantics","score":0.50288}],"concepts":[{"id":"https://openalex.org/C75608658","wikidata":"https://www.wikidata.org/wiki/Q44395","display_name":"Pascal (unit)","level":2,"score":0.88554335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.85363567},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7993562},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5176526},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/954373.954379","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/954373.954379","source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/954373.954379","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/954373.954379","source":{"id":"https://openalex.org/S148324379","display_name":"ACM SIGPLAN Notices","issn_l":"0362-1340","issn":["0362-1340","1558-1160"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"score":0.83,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":7,"referenced_works":["https://openalex.org/W1995384620","https://openalex.org/W2011176758","https://openalex.org/W2095224573","https://openalex.org/W2162178863","https://openalex.org/W2792939069","https://openalex.org/W2987907651","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W4246973440","https://openalex.org/W4237042913","https://openalex.org/W4233387348","https://openalex.org/W4231350079","https://openalex.org/W2087060298","https://openalex.org/W2069412546","https://openalex.org/W1988122388","https://openalex.org/W1982275713","https://openalex.org/W1965681098","https://openalex.org/W1534969938"],"abstract_inverted_index":{"The":[0,44],"programming":[1],"language":[2],"Euclid":[3,45],"was":[4,20],"intended":[5,47],"for":[6],"writing":[7],"system":[8,82],"programs":[9],"that":[10,34],"could":[11],"be":[12],"verifiable":[13],"by":[14],"state-of-the-art":[15],"verification":[16,19],"methods.":[17],"Since":[18],"not":[21,32],"an":[22],"explicit":[23],"goal":[24],"in":[25,63,67],"the":[26,41,64,68,79],"design":[27],"of":[28,56,70],"Pascal,":[29],"it":[30,53],"is":[31],"surprising":[33],"this":[35,57,71],"gave":[36],"rise":[37],"to":[38,48],"differences":[39,62,74],"between":[40],"two":[42,65],"languages.":[43],"designers":[46],"change":[49],"Pascal":[50],"only":[51],"where":[52],"fell":[54],"short":[55],"goal.":[58],"This":[59],"paper":[60],"examines":[61],"languages":[66],"light":[69],"objective.":[72],"These":[73],"are":[75],"roughly":[76],"grouped":[77],"under":[78],"headings":[80],"verification,":[81],"programming,":[83],"and":[84],"user-oriented":[85],"changes.":[86]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2069412546","counts_by_year":[],"updated_date":"2024-11-18T12:21:30.964596","created_date":"2016-06-24"}