Partial evaluation and -completeness of algebraic specifications

DOI10.1016/0304-3975(86)90173-8zbMATH Open0606.68017OpenAlexW2037081226MaRDI QIDQ1084849FDOQ1084849

J. Heering

Publication date: 1986

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90173-8

zbMATH Keywords

incomplete informationterm rewriting systemspartial evaluationequational logicinitial algebra specification

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus, its syntax and semantics
• Identities in Finite Algebras
• Proofs by induction in equational theories with constructors
• Identities in Two-Valued Calculi
• The λ-calculus is ω-incomplete
• The Logic of Equality
• Mixed computation: potential applications and problems for study
• Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems

Cited In (14)

• A calculus for four-valued sequential logic
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• Characterizations of the stable semantics by partial evaluation
• An investigation of Jones optimality and BTI-universal specializers
• Annotated bibliography on partial evaluation and mixed computation
• Algebraic specifications of computable and semicomputable data types
• Axiomatizing recursion-free, regular monitors
• Which data types have \(\omega\)-complete initial algebra specifications?
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finite alphabets and infinite bases
• Algebra and theory of order-deterministic pomsets
• Une charpente de semi-unification
• On algebraic specifications of computable algebras with the discriminator technique

This page was built for publication: Partial evaluation and \(\omega\)-completeness of algebraic specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1084849)