scientific article; zbMATH DE number 4001458

zbMath0617.68021MaRDI QIDQ4727407

Eric G. Wagner

Publication date: 1986

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

zbMATH Keywords

recursive typesequational specificationinitial algebra semanticsmathematical semanticsdata type and program specificationequational typesprogramming control constructsRV-theory

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05)

Related Items

A generalization of the concept of sketch, Equational logic of circular data type specification