A logical basis for nested array data structures

https://doi.org/10.1016/0096-0551(89)90029-5Get rights and content

Abstract

A logical description of array data structures is presented as an extension of a theory of equality over lists. It provides axioms and theorems that describe the data objects of the Nested Interactive Array Language, Nial. A model for the theory is presented, and the application of the theory to the development of a logic programming extension to Nial is described.

References (23)

  • M. Jenkins et al.

    The Q'Nial Reference Manual

    (1985)
  • M.A. Jenkins et al.

    Programming styles in Nial. IEEE Software Engng

  • T. More

    On the composition of array theoretic operations

  • T. More

    The nested rectangular array as a model of data

    Proceedings of APL 79, APL Quote Quad

    (1979)
  • M.A. Jenkins

    On combining the data structure concepts of Lisp and APL

  • J.I. Glasgow et al.

    Building expert systems for chemical process engineering using Nial

  • R. Chau et al.

    A framework for knowledge based systems in Nial

  • C. Crowe

    XESSFS and BUSI: Expert systems for chemical process development

  • M.A. Jenkins

    The role of equations in Nial

  • Z. Manna et al.

    The Logical Basis for Computer Programming

    (1985)
  • T. More

    Axioms and theorems for a theory of arrays

    IBM J. Res. Dev.

    (1973)
  • Cited by (14)

    • A semantics for shape

      1995, Science of Computer Programming
    • Functional array programming in SAC

      2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    View all citing articles on Scopus
    View full text