scientific article; zbMATH DE number 176489
From MaRDI portal
Publication:4035653
zbMATH Open0788.68098MaRDI QIDQ4035653FDOQ4035653
Authors: Jacek Leszczylowski, Martin Wirsing 
Publication date: 18 May 1993
Title of this publication is not available (Why is that?)
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
General topics in the theory of software (68N01) Data structures (68P05) Abstract data types; algebraic specification (68Q65)
Cited In (8)
- Specifying properties of dynamic architectures using configuration traces
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
- Title not available (Why is that?)
- Parametric polymorphism and semantic subtyping
- The semantic treatment of polymorphic specification languages
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
