scientific article

zbMath0515.68017MaRDI QIDQ3662598

Manfred Broy, Martin Wirsing

Publication date: 1983

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

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

zbMATH Keywords

fixed point theorypartial algebrassemantic modelstermination problempartial recursive functionsabstract types

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Related Items

Structured algebraic specifications: A kernel language, Partial abstract types, Acceptable functional programming systems, A systematic study of models of abstract data types

Cites Work

• A systematic study of models of abstract data types
• First-order identities as a defining language
• Partial abstract types
• Fully abstract models of typed \(\lambda\)-calculi
• Model theory
• The Theoretical Aspects of the Optimal Fixedpoint
• Can programming be liberated from the von Neumann style?
• Heterogeneous algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item