scientific article; zbMATH DE number 3936499

MaRDI QIDQ3707388zbMATH OpenFDO

Authors Axel Poigné

Publication date 1984

zbMATH Keywords

Abstract data type parametrizationcorrectnesspartial orderingsafety of parameter passing

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parametrization for order-sorted algebraic specification
• Subexponential Parameterized Algorithms
• Subexponential parameterized algorithms
• scientific article; zbMATH DE number 3866562
• Algebraic algorithms for variants of subset sum
• A simple sub-quadratic algorithm for computing the subset partial order
• Order-Sorted Parameterization and Induction
• Higher-order unification, polymorphism, and subsorts
• On the existence of subexponential parameterized algorithms

Cited in

(4)

• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3936491 (Why is no real title available?)
• scientific article; zbMATH DE number 3976306 (Why is no real title available?)
• Parametrization for order-sorted algebraic specification

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