scientific article; zbMATH DE number 176489

MaRDI QIDQ4035653zbMATHFDO

Authors Jacek Leszczylowski, Martin Wirsing

Publication date 18 May 1993

zbMATH Keywords

data structuressignaturepolymorphismparameterised specificationsalgebraic specification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Data type specification, parameterization and the power of specification techniques
• Algebraic specifications, higher-order types and set-theoretic models
• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• scientific article; zbMATH DE number 1424058
• Semantic typing for parametric algebraic specifications

Cited in

(8)

• Specifying properties of dynamic architectures using configuration traces
• Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
• scientific article; zbMATH DE number 596420 (Why is no real title available?)
• Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
• Parametric polymorphism and semantic subtyping
• The semantic treatment of polymorphic specification languages
• scientific article; zbMATH DE number 5117546 (Why is no real title available?)
• scientific article; zbMATH DE number 1487941 (Why is no real title available?)

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