{"id":"https://openalex.org/W2015894008","doi":"https://doi.org/10.1145/55364.55403","title":"Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer","display_name":"Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2015894008","doi":"https://doi.org/10.1145/55364.55403","mag":"2015894008"},"language":"en","primary_location":{"id":"doi:10.1145/55364.55403","is_oa":true,"landing_page_url":"https://doi.org/10.1145/55364.55403","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/55364.55403","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd international conference on Supercomputing - ICS '88","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/55364.55403","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005634620","display_name":"A. Lichnewsky","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"A. Lichnewsky","raw_affiliation_strings":["INRIA, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081580448","display_name":"Fran\u00e7ois Thomasset","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"F. Thomasset","raw_affiliation_strings":["INRIA, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":2.0987,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.8544,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"396","last_page":"406"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980999827384949,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980999827384949,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9976999759674072,"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.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/merge","display_name":"Merge (version control)","score":0.7577628493309021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7290143966674805},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5965853333473206},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5791512727737427},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.5166173577308655},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45776039361953735},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.4434170722961426},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.43577513098716736},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.42786312103271484},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.327163428068161},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21560853719711304},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.12968537211418152}],"concepts":[{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.7577628493309021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7290143966674805},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5965853333473206},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5791512727737427},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.5166173577308655},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45776039361953735},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.4434170722961426},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.43577513098716736},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.42786312103271484},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.327163428068161},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21560853719711304},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.12968537211418152},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/55364.55403","is_oa":true,"landing_page_url":"https://doi.org/10.1145/55364.55403","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/55364.55403","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd international conference on Supercomputing - ICS '88","raw_type":"proceedings-article"},{"id":"pmh:hdl:10068/47580","is_oa":false,"landing_page_url":"http://hdl.handle.net/10068/47580","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"R - Report"},{"id":"pmh:oai:HAL:inria-00075731v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00075731","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RR-0820, INRIA. 1988","raw_type":"info:eu-repo/semantics/report"}],"best_oa_location":{"id":"doi:10.1145/55364.55403","is_oa":true,"landing_page_url":"https://doi.org/10.1145/55364.55403","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/55364.55403","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd international conference on Supercomputing - ICS '88","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2015894008.pdf","grobid_xml":"https://content.openalex.org/works/W2015894008.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W109433079","https://openalex.org/W153130413","https://openalex.org/W201994185","https://openalex.org/W1491178396","https://openalex.org/W1505497945","https://openalex.org/W1604802992","https://openalex.org/W1964714157","https://openalex.org/W1996325171","https://openalex.org/W2011039300","https://openalex.org/W2090286414","https://openalex.org/W2135736783","https://openalex.org/W2154523940","https://openalex.org/W2162177141","https://openalex.org/W3004256893","https://openalex.org/W4241790184","https://openalex.org/W6682482483","https://openalex.org/W6828401895"],"related_works":["https://openalex.org/W2186150309","https://openalex.org/W2096406490","https://openalex.org/W2107687326","https://openalex.org/W1552151841","https://openalex.org/W2736010003","https://openalex.org/W1489085734","https://openalex.org/W1970785070","https://openalex.org/W2132514413","https://openalex.org/W1951895578","https://openalex.org/W4246795820"],"abstract_inverted_index":{"The":[0],"purpose":[1],"of":[2,19,29,53,56,86,108,130,136],"a":[3,26,54,131,154],"vectorizer":[4,139],"is":[5,23,95,100,143],"to":[6,12,40,50,90,102,126,147],"perform":[7],"program":[8],"restructuring":[9],"in":[10,38],"order":[11,39],"exhibit":[13],"the":[14,43,51,68,84,109,119,123,128,134,137,149],"most":[15],"efficiently":[16],"exploitable":[17],"forms":[18],"vector":[20],"loops.":[21],"This":[22,81],"guided":[24],"by":[25],"suitable":[27],"form":[28],"semantic":[30],"analysis,":[31],"Dependence":[32],"Testing,":[33],"which":[34,77],"must":[35],"be":[36,71,79],"precise":[37],"fully":[41],"exploit":[42],"architecture.":[44],"Most":[45],"studies":[46],"reduce":[47],"this":[48,64],"phase":[49],"application":[52],"series":[55],"explicitly":[57],"computable":[58],"arithmetic":[59],"criteria.":[60],"In":[61,133],"many":[62],"cases,":[63],"will":[65],"fail":[66],"if":[67],"criteria":[69],"cannot":[70,78],"computed":[72],"numerically,":[73],"and":[74,121,152],"contain":[75],"symbols":[76,92],"evaluated.":[80],"also":[82,144],"makes":[83],"use":[85,122],"other":[87,115],"information":[88],"pertaining":[89],"these":[91],"difficult.":[93],"It":[94],"shown":[96,145],"here":[97],"that":[98],"it":[99,142],"possible":[101,146],"extract":[103],"symbolic":[104,116],"equations":[105],"from":[106],"some":[107],"classical":[110],"criteria,":[111],"merge":[112],"them":[113],"with":[114],"knowledge":[117],"about":[118],"program,":[120],"global":[124],"system":[125],"decide":[127],"non-existence":[129],"dependence.":[132],"context":[135],"VATIL":[138],"[17,":[140],"16],":[141],"control":[148],"computation":[150],"cost,":[151],"obtain":[153],"good":[155],"overall":[156],"efficiency.":[157]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}