scientific article
From MaRDI portal
Publication:3943975
zbMath0484.68003MaRDI QIDQ3943975
No author found.
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
data structuresdata reliabilitystorage allocationdata typesdata descriptionextendible dynamic arraygeneral principles of program language
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Conference proceedings and collections of articles (00Bxx)
Related Items (11)
Structured algebraic specifications: A kernel language ⋮ Specifications in an arbitrary institution ⋮ Modular algebraic specification of some basic geometrical constructions ⋮ Axiomatic data type specifications: A first order theory of linear lists ⋮ A logical framework combining model and proof theory ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ The diagonal polynomials of dimension four ⋮ A general framework to build contextual cover set induction provers ⋮ Polynomial indexing of integer lattice-points. I. General conceopts and quadratic polynomials ⋮ Algebraic relations and presentations ⋮ Verifying abstract data types with SNOBOL4
This page was built for publication:
