Multidimensional programming
This book describes a powerful language for multidimensional declarative programming called Lucid.Lucid has evolved considerably in the past ten years.The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages.
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | E-kniha Kniha |
| Jazyk: | angličtina |
| Vydáno: |
New York ; Tokyo
Oxford University Press
1995
Oxford University Press, Incorporated |
| Vydání: | 1 |
| Témata: | |
| ISBN: | 9780195075977, 0195075978 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | This book describes a powerful language for multidimensional declarative programming called Lucid.Lucid has evolved considerably in the past ten years.The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. |
|---|---|
| AbstractList | This book describes Lucid, a multidimensional declarative language based on intensional logic. The mathematical underpinnings of Lucid enable programs to be amenable to verification and transformation. Lucid programs concisely and elegantly express multidimensional computations rich in parallelism that can be robustly exploited using a novel demand-driven model of computation. In addition to being an applications programming language, Lucid also serves as the basisof a system for programming conventional parallel computers and a visual programming system. This book describes a powerful language for multidimensional declarative programming called Lucid.Lucid has evolved considerably in the past ten years.The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. |
| Author | Ashcroft, Edward A. |
| Author_xml | – sequence: 1 fullname: Ashcroft, Edward A. |
| BackLink | https://cir.nii.ac.jp/crid/1130282272699294976$$DView record in CiNii |
| BookMark | eNotj8lOAzEMhoOgqAt9Aw4cEBKHSk6cZXKEqixSERfEdZTJJCV0moHJlL4-6eKDLUuf7O8fk4vYRndGxkC1QAlc0HMy1arY76CEVmpAhpoDUlrQSzLiKAqKTMghmab0DbkYSM7UiFy_bZs-1GHjYgptNM3NT9euOrPZhLi6IgNvmuSmpzkhn0-Lj_nLbPn-_Dp_WM4Mz1_VrPLSOekEagOGCuk9VFYqxlGqyimgCNyjrbn1tkLudV17YzU1UDMnihon5P542KS126WvtulT-de4qm3XqTwlOyQVmb07sln0d-tSXx4w62LfmaZcPM45AirI4O0RjCGUNuw7zSasYEwxqTXT2V7iP6SXWm8 |
| ContentType | eBook Book |
| DBID | RYH |
| DEWEY | 005.13/3 |
| DatabaseName | CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 0195360451 9780195360455 |
| Edition | 1 |
| ExternalDocumentID | 9780195360455 EBC430370 BA25278747 |
| GroupedDBID | -VX 089 20A 38. A4J AABBV ABARN ABFDL ABMRC ABQPQ ACFVK ACLGV ADVEM AERYV AEXCD AFOJC AHWGJ AIGZA AIXPE AJFER ALMA_UNASSIGNED_HOLDINGS AZZ BBABE BTL CWTWH CZZ DUGUG EBSCA ECOWB GEOUK JJU MYL NRCWT PQQKQ RYH SAVCC TI5 XI1 ZBOWZ |
| ID | FETCH-LOGICAL-a49787-bf6ee6e539a0a156ff0bc6724367be701304f3cd4cfcb34f9ddfac91a0d2e58d3 |
| ISBN | 9780195075977 0195075978 |
| IngestDate | Thu Apr 17 09:00:04 EDT 2025 Wed Nov 19 02:03:42 EST 2025 Thu Jun 26 23:12:42 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCN | 94031181 |
| LCCallNum_Ident | QA76.73.L83M85 1995 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a49787-bf6ee6e539a0a156ff0bc6724367be701304f3cd4cfcb34f9ddfac91a0d2e58d3 |
| Notes | Includes bibliographical references(p. 153-157) and index |
| OCLC | 435813256 |
| PQID | EBC430370 |
| PageCount | 176 |
| ParticipantIDs | askewsholts_vlebooks_9780195360455 proquest_ebookcentral_EBC430370 nii_cinii_1130282272699294976 |
| PublicationCentury | 1900 |
| PublicationDate | 1995 1995-02-23 |
| PublicationDateYYYYMMDD | 1995-01-01 1995-02-23 |
| PublicationDate_xml | – year: 1995 text: 1995 |
| PublicationDecade | 1990 |
| PublicationPlace | New York ; Tokyo |
| PublicationPlace_xml | – name: New York ; Tokyo – name: New York |
| PublicationYear | 1995 |
| Publisher | Oxford University Press Oxford University Press, Incorporated |
| Publisher_xml | – name: Oxford University Press – name: Oxford University Press, Incorporated |
| SSID | ssj0000206427 ssib002886829 |
| Score | 1.7926835 |
| Snippet | This book describes a powerful language for multidimensional declarative programming called Lucid.Lucid has evolved considerably in the past ten years.The main... This book describes Lucid, a multidimensional declarative language based on intensional logic. The mathematical underpinnings of Lucid enable programs to be... |
| SourceID | askewsholts proquest nii |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Computers Lucid (Computer program language) |
| TableOfContents | 8.3 Intensional Spreadsheets -- 8.4 Multiple Dimensions -- 8.5 Intensionality and Inheritance -- 8.6 Summary -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- R -- S -- T -- U -- V -- W Intro -- Contents -- 1 Introduction -- 1.1 Running Sums -- 1.2 Powers -- 1.3 Matrix Multiplication -- 1.4 Sorting -- 1.5 Summary -- 2 Intensionality -- 2.1 Intensional Logic -- 2.2 The Intensional Language Lucid -- 2.3 Intensional versus Extensional Thinking -- 2.4 Space and Time -- 2.5 The Role of Extensional Thinking -- 2.6 Summary -- 3 Syntax and Semantics -- 3.1 Syntax -- 3.1.1 Abstract Syntax -- 3.1.2 Concrete Syntax -- 3.1.3 Running Sums Revisited -- 3.1.4 Powers Revisited -- 3.1.5 Matrix Multiplication Revisited -- 3.1.6 Sorting Revisited -- 3.2 Denotational Semantics -- 3.3 Summary -- 4 Transformation and Verification -- 4.1 Simple Introductory Example -- 4.2 Program Transformation -- 4.2.1 The Basis Rule -- 4.2.2 The Calling Rule -- 4.2.3 The Renaming Rules -- 4.2.4 The Addition and Elimination Rules -- 4.3 Program Verification -- 4.3.1 Matrix Transposition -- 4.3.2 Matrix Multiplication -- 4.3.3 Tournament -- 4.4 Summary -- 5 Eduction -- 5.1 Extensional and Intensional Models -- 5.2 Intensional Computing Models -- 5.3 The Eduction Computing Model -- 5.4 An Abstract Eduction Engine -- 5.5 Summary -- 6 Parallelism and Fault Tolerance -- 6.1 Parallelism -- 6.1.1 Basic Forms of Parallelism -- 6.1.2 Origin of Parallelism -- 6.1.3 Exploiting Parallelism in Lucid Programs -- 6.2 Fault Tolerance -- 6.2.1 Origin of Fault Tolerance -- 6.2.2 Role of Lucid -- 6.2.3 Role of Eduction -- 6.2.4 Fault-Tolerant Eductive Evaluation -- 6.3 Summary -- 7 High-Performance Implementation -- 7.1 Conventional Parallel Programming -- 7.2 Hybrid Parallel Programming -- 7.3 GLU Programming System Architecture -- 7.4 Revitalizing Existing Applications -- 7.4.1 Ray Tracing -- 7.4.2 Structural Analysis -- 7.4.3 Intrusion Detection System -- 7.5 Summary -- 8 Other Uses of Intensionality -- 8.1 Intensional Logic Programming -- 8.2 Branching Time |
| Title | Multidimensional programming |
| URI | https://cir.nii.ac.jp/crid/1130282272699294976 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=430370 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9780195360455 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LS8RADI66etCLb1yfi3iTStt5dY4qq4KgHlS8lek8cFGr2HXx5G83s33oKiIevAxtoWmbr03ydSYJwA5TDB2pRFqCtC2gkYkCxUmMgHAXE2GYsG7YbEKcnSU3N_JifOytzoUZ3Is8T15f5dO_Qo3HEGyfOvsHuBuheAC3EXQcEXYcv0TEzW7VkMmvDTS-Wn9ZaaNee_VQeyePa3HbWN6yX_Pu_t4H8y8zqUeY_w8ZhSME0acDYlAgq1Ypo5WlD_ZjFuMHS8UETCDtaMHkcff86rT5R4WhJNITUVYiKuUkVdGiRu4MzKjiDg0yGut-gR467_W--bWhs76cg5ZP4JiHcZsvwGzdtqJTWbFFWP-qqM4nRS3B9VH38vAkqJpEBMo3xxNB5ri13DIiVaiQjToXZpqLmBIuMiv8zCx1RBuqnc4IddIYp7SMVGhiyxJDlqGVP-Z2BToR14wpJ2iSOeo0lSp2hJIwocxQYsI2bH961nRwP5zQLtJKIYRjfMzasIEqSHXPj5GfF8YYTMRcYiCKd8zbsFUrJx2eX63CTbsHh3gtIsLVXySswfTH67AOrf7zi92AKT3o94rnzQrEdy9eDTc |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Multidimensional+programming&rft.au=Ashcroft%2C+Edward+A.&rft.date=1995-01-01&rft.pub=Oxford+University+Press&rft.isbn=9780195075977&rft.externalDocID=BA25278747 |
| thumbnail_m | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97801953%2F9780195360455.jpg |