{"id":"https://openalex.org/W2912379780","doi":"https://doi.org/10.1093/oso/9780195075977.001.0001","title":"Multidimensional Programming","display_name":"Multidimensional Programming","publication_year":1995,"publication_date":"1995-05-04","ids":{"openalex":"https://openalex.org/W2912379780","doi":"https://doi.org/10.1093/oso/9780195075977.001.0001","mag":"2912379780"},"language":"en","primary_location":{"id":"doi:10.1093/oso/9780195075977.001.0001","doi":"https://doi.org/10.1093/oso/9780195075977.001.0001","is_oa":false,"landing_page_url":"https://doi.org/10.1093/oso/9780195075977.001.0001","pdf_url":null,"source":{"id":"https://openalex.org/S4306463708","display_name":"Oxford University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"edited-book"},"volume":null,"type":"book","is_traditional":true,"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/A5111871834","display_name":"Edward A. Ashcroft","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"E. A. Ashcroft","raw_affiliation_strings":["(Arizona State University, Tempe)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"(Arizona State University, Tempe)","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021386535","display_name":"A. A. Faustini","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. A. Faustini","raw_affiliation_strings":["(Arizona State University, Tempe)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"(Arizona State University, Tempe)","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073923294","display_name":"R. Jaggannathan","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Jaggannathan","raw_affiliation_strings":["SRI International, Menlo Park"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, Menlo Park","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057045114","display_name":"William W. Wadge","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I212119943","display_name":"University of Victoria","ror":"https://ror.org/04s5mat29","country_code":"CA","type":"education","lineage":["https://openalex.org/I212119943"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"W. W. Wadge","raw_affiliation_strings":["University of Victoria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Victoria","institution_ids":["https://openalex.org/I212119943"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.4652,"has_fulltext":false,"cited_by_count":58,"citation_normalized_percentile":{"value":0.9559633,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9746000170707703,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9746000170707703,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.010200000368058681,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.00570000009611249,"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/lucid","display_name":"LUCID","score":0.8220000267028809},{"id":"https://openalex.org/keywords/declarative-programming-languages","display_name":"declarative programming languages","score":0.847000002861023},{"id":"https://openalex.org/keywords/intensional-logic","display_name":"intensional logic","score":0.9990000128746033},{"id":"https://openalex.org/keywords/indexicality","display_name":"indexicality","score":0.9850000143051147},{"id":"https://openalex.org/keywords/multidimensional-objects","display_name":"multidimensional objects","score":0.7300000190734863},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"denotational semantics","score":0.6489999890327454},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.7160000205039978},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.9120000004768372},{"id":"https://openalex.org/keywords/parallel-programming","display_name":"parallel programming","score":0.7300000190734863},{"id":"https://openalex.org/keywords/visual-programming","display_name":"visual programming","score":0.8600000143051147},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"fault tolerance","score":0.9409999847412109},{"id":"https://openalex.org/keywords/parallelism","display_name":"parallelism","score":0.824999988079071}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7857884168624878},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7491251826286316},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5957006812095642},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.5238432884216309},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5183854699134827},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5126540064811707},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5053725838661194},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.4952200949192047},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.49347221851348877},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.4095667004585266},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36197924613952637},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22356227040290833}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/oso/9780195075977.001.0001","doi":"https://doi.org/10.1093/oso/9780195075977.001.0001","is_oa":false,"landing_page_url":"https://doi.org/10.1093/oso/9780195075977.001.0001","pdf_url":null,"source":{"id":"https://openalex.org/S4306463708","display_name":"Oxford University Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"edited-book"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-028507993","doi":null,"is_oa":false,"landing_page_url":"http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287503","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4248283349","https://openalex.org/W6889654526","https://openalex.org/W4250698564","https://openalex.org/W2095040641","https://openalex.org/W2158181907","https://openalex.org/W2040284947","https://openalex.org/W2049154817","https://openalex.org/W1755228296","https://openalex.org/W2515105224","https://openalex.org/W192055347"],"abstract_inverted_index":{"This":[0],"book":[1],"describes":[2],"a":[3,59,74,123,147,152],"powerful":[4],"language":[5,113,204],"for":[6,24,100,126,171],"multidimensional":[7,55,138,162],"declarative":[8,203],"programming":[9,101,140,149,154],"called":[10],"Lucid.":[11],"Lucid":[12,31,51,94,135],"has":[13,49],"evolved":[14],"considerably":[15],"in":[16,40,68,93,102,136],"the":[17,28,112,178,183,186],"past":[18,187],"ten":[19],"years.":[20],"The":[21,71,88,106,132],"main":[22],"catalyst":[23],"this":[25,69,189],"metamorphosis":[26],"was":[27],"discovery":[29],"that":[30,57,181],"is":[32,104,130,156],"based":[33],"on":[34],"intensional":[35,91],"logic,":[36],"one":[37],"commonly":[38],"used":[39,121],"studying":[41],"natural":[42],"languages.":[43],"Intensionality,":[44],"and":[45,83,108,116,128,141,151,174,198,206],"more":[46],"specifically":[47],"indexicality,":[48],"enabled":[50],"to":[52,81,86,119,196],"implicitly":[53],"express":[54],"objects":[56],"change,":[58],"fundamental":[60],"capability":[61],"with":[62,166,202],"several":[63],"consequences":[64,99],"which":[65],"are":[66,114],"explored":[67],"book.":[70],"author":[72],"covers":[73],"broad":[75],"range":[76],"of":[77,90,111,134,161,193],"topics,":[78],"from":[79,84],"foundations":[80],"applications,":[82],"implementations":[85],"implications.":[87],"role":[89],"logic":[92],"as":[95,97,122,146],"well":[96],"its":[98,117,167],"general":[103],"discussed.":[105],"syntax":[107],"mathematical":[109],"semantics":[110],"given":[115],"ability":[118],"be":[120,192],"formal":[124],"system":[125,150],"transformation":[127],"verification":[129],"presented.":[131],"use":[133],"both":[137],"applications":[139],"software":[142],"systems":[143,205],"construction":[144],"(such":[145],"parallel":[148],"visual":[153],"system)":[155],"described.":[157],"A":[158],"novel":[159],"model":[160],"computation--education--is":[163],"described":[164],"along":[165],"serendipitous":[168],"practical":[169],"benefits":[170],"harnessing":[172],"parallelism":[173],"tolerating":[175],"faults.":[176],"As":[177],"only":[179],"volume":[180],"reflects":[182],"advances":[184],"over":[185],"decade,":[188],"work":[190],"will":[191],"great":[194],"interest":[195],"researchers":[197],"advanced":[199],"students":[200],"involved":[201],"programming.":[207]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2019-02-21T00:00:00"}