scientific article; zbMATH DE number 3761372

MaRDI QIDQ3943975zbMATH OpenFDO

Authors

Publication date 1978

zbMATH Keywords

data descriptiondata reliabilitydata structuresdata typesextendible dynamic arraygeneral principles of program languagestorage allocation

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Data structures (68P05)

Cited in

(11)

• Algebraic relations and presentations
• 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
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Polynomial indexing of integer lattice-points. I. General conceopts and quadratic polynomials
• The diagonal polynomials of dimension four
• Verifying abstract data types with SNOBOL4
• A logical framework combining model and proof theory
• A general framework to build contextual cover set induction provers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3943975)