Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Jenkins:1989:LBN, author = "Michael A. Jenkins and Janice I. Glasgow", title = "A logical basis for nested array data structures", journal = j-COMP-LANGS, volume = "14", number = "1", pages = "35--51", month = "????", year = "1989", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Tue Mar 25 14:04:06 MST 1997", bibsource = "Compendex database; http://www.math.utah.edu/pub/tex/bib/complngs.bib", acknowledgement = ack-nhfb, affiliationaddress = "Kingston, Ont, Can", classcodes = "C6120 (File organisation); C6140D (High level languages); C4240 (Programming and algorithm theory); C4210 (Formal logic)", classification = "723", corpsource = "Dept. of Comput. and Inf. Sci., Queen's Univ., Kingston, Ont., Canada", journal-URL = "http://www.sciencedirect.com/science/journal/00960551", journalabr = "Comput Lang", keywords = "Computer Programming Languages; Data Processing--Data Structures; data structures; equality over; First Order Logic; formal logic; high level languages; lists; logic; logical basis; nested array data structures; Nested Array Data Structures; Nested Interactive Array Language; Nested Interactive Array Language (NIAL); Nial; Pecursive Data Structures; programming; programming theory", treatment = "P Practical; T Theoretical or Mathematical", }