scientific article; zbMATH DE number 3986625

zbMATH Open0609.68019MaRDI QIDQ3750112FDOQ3750112

Authors: Manfred Broy 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• Publication:3028333
• Equational specification of partial higher-order algebras
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• scientific article; zbMATH DE number 4011909
• scientific article; zbMATH DE number 3869407

zbMATH Keywords

call-by-valuelazy evaluationcall-by-namealgebraic abstract typespartial interpretationshigher order specification

Mathematics Subject Classification ID

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

Cited In (9)

• Interpreting higher computations as types with totality
• A logic of recursion
• Equational specification of partial higher-order algebras
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• Title not available (Why is that?)
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• Title not available (Why is that?)
• Partial Types and Intervals
• Monads and algebras in the semantics of partial data types

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