A generalized setting for fixpoint theory

DOI10.1016/0304-3975(79)90027-6zbMath0409.68013OpenAlexW1976667587WikidataQ126401717 ScholiaQ126401717MaRDI QIDQ1259161

Faith E. Fich, E. A. Ashcroft

Publication date: 1979

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

Full work available at URL: https://doi.org/10.1016/0304-3975(79)90027-6

zbMATH Keywords

Fixpoint TheorytSemantics of Programming Languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cites Work

• A mathematical semantics for a nondeterministic typed lambda-calculus
• A lattice-theoretical fixpoint theorem and its applications
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item

This page was built for publication: A generalized setting for fixpoint theory