scientific article; zbMATH DE number 3677217

MaRDI QIDQ3873558zbMATH OpenFDO

Authors J. L. Rémy

Publication date 1980

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

zbMATH Keywords

abstract data typesanalysis of algorithmsbinary search treesdictionariesinsertion algorithmspecifications of data structures

Mathematics Subject Classification ID

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

Cites work

• A Transformation System for Developing Recursive Programs
• Abstract data types and software validation
• Constructing a theory of a data structure as an aid to program development
• scientific article; zbMATH DE number 3705883 (Why is no real title available?)
• scientific article; zbMATH DE number 3473265 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 3555431 (Why is no real title available?)
• scientific article; zbMATH DE number 3566107 (Why is no real title available?)
• scientific article; zbMATH DE number 3630193 (Why is no real title available?)
• scientific article; zbMATH DE number 3635469 (Why is no real title available?)
• Knowledge and reasoning in program synthesis
• Lucid, a nonprocedural language with iteration

Cited in

(1)

• scientific article; zbMATH DE number 3900794 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lucid

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 Q3873558)