scientific article

zbMath0434.68050MaRDI QIDQ3873558

Jean-Luc Rémy

Publication date: 1980

Full work available at URL: https://eudml.org/doc/92119

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

analysis of algorithmsinsertion algorithmbinary search treesabstract data typesdictionariesspecifications of data structures

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Data structures (68P05) Discrete mathematics in relation to computer science (68R99)

Related Items

Unnamed Item

Uses Software

• Lucid

Cites Work

• Knowledge and reasoning in program synthesis
• Constructing a theory of a data structure as an aid to program development
• A Transformation System for Developing Recursive Programs
• Lucid, a nonprocedural language with iteration
• Abstract data types and software validation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item